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:
Mathematical logic; particularly lambda-calculus, combinatory logic and type-theory. Formal Language Theory and Analytic Combinatorics.
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