Nelma Moreira
Faculdade de Ciências da Universidade do Porto
.
Research Interests
Automata theory and formal languages Descriptional complexity Theorem provers and Formal verification of software
Tipo de Membro
Integrated member
Position
Associate Professor
Gabinete
1.20 DCC
Phone
351220402920
Website