Paula Gouveia

Departamento de Matemática
Instituto Superior Técnico
Av. Rovisco Pais 1049-001, Lisboa, Portugal


Assistant Professor for Logic and Computation at IST
Founding member of SQIG

Short Biography

Born in 1962 in Lisbon, Paula Gouveia graduated in Applied Mathematics at  the Faculty of Sciences of Lisbon in 1986 and received her PhD in Mathematics from the Technical University of Lisbon in 1998.



Most of her research has been focused on applications of logic to computer science, including temporal logic, abductive reasoning and combination of logics. She is co-author of a research monograph on analysis and synthesis of logics (published by Springer).