Sabine Broda

Computer Science Department & CMUP

Faculty of Science of University of Porto

---

You can reach me at: R. Campo Alegre 1021-1055, 4169-077 Porto, Portugal email: sbb at dcc dot fc dot up dot pt Tel: +351 22 0402912 Fax: +351 22 0402950 PGP Public Key

Research interest:

Projects

• CANTE: Descriptional and computational complexity of formal languages.
• AVIACC: Analysis and Verification of Critical Concurrent Programs

  Publications

  Formula Tree Lab: a tool for studying inhabitation of simple types

  ---

  <!-- </ul>

  Events

  • CIAA 2012
  • DCFS 2012
  --!>