Sabine Broda
Faculdade de Ciências da Universidade do Porto
.
Research Interests
Mathematical logic; particularly lambda-calculus, combinatory logic and type-theory. Automata and formal language theory. Descriptional complexity.
Tipo de Membro
Integrated member
Position
Associate Professor
Gabinete
FC6-112
Phone
22 0402912