Research Interests

Automata theory and formal languages Descriptional complexity Theorem provers and Formal verification of software

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