Team
Full Member
Department & Location
Contacts
paula.gouveia
+351 21 8417147
CURRENT POSITIONS
- Assistant Professor of Mathematics at IST
Paula Gouveia
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. Currently she is an Assistant Professor at the Department of Mathematics of Instituto Superior Técnico, working in the area of Logic and Computation, and a researcher at Instituto de Telecomunicações (SQIG). She is also a founding member of SQIG.
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 a co-author of a research monograph on the analysis and synthesis of logics.
Publications
Papers and profiles in the following links:
Events
Scientific events organized at Instituto Superior Técnico:
Days in Logic 2024
Organizing committee
1-3 February 2024, IST, Lisboa
Conference in honour of Amílcar Sernadas
Organizing committee
23 April 2016, IST, Lisboa
8th Winter School of Mathematics
Organizing committee
2-4 February 2016, IST, Lisboa
7th Winter School of Mathematics
Organizing committee
2-4 February 2015, IST, Lisboa
Courses in the areas of Logic, Discrete Mathematics and Computation.
Theory of Computation
Undergraduate course
IST
Discrete Mathematics
Undergraduate course
IST
Computer Programming
Undergraduate course
IST
Books authored and co-authored over the years:
Labyrinth: From Literature to Algorithms
J. F. Costa and P. Gouveia
World Scientific, 2022.
Matemática Discreta
J. F. Costa and P. Gouveia
IST Press, 2019.
Elementos de Matemática Discreta
P. Gouveia, J. Carmo and F. Dionísio
College Publications, 2013.
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
W. Carnielli, M. Coniglio, D. Gabbay, P. Gouveia and C. Sernadas
Springer, 2008.