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

Member Level
Integrated member
Position
Assistant Professor
Gabinete
1.20 DCC
Phone
351220402920