Departamento de Matemática
Instituto Superior Técnico
Av. Rovisco Pais 1049-001, Lisboa, Portugal
mpg@math.ist.utl.pt
Assistant Professor for Logic and Computation at IST
Founding member of SQIG
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).