Paula Gouveia

Secção Ciência da Computação
Departamento de Matemática
Instituto Superior Técnico
Av. Rovisco Pais, 1049-001, Lisboa, PORTUGAL
Tel. +351 21 8417147
Fax. +351 21 8499242
mpg@math.ist.utl.pt

I am Assistant Professor at the Section of Logic and Computation of the Department of Mathematics of IST of the Technical University of Lisbon and member of the Security and Quantum Information Group at IT.

I was born in 1962 in Lisbon and graduated in Applied Mathematics at the Faculty of Sciences of the University of Lisbon in 1986. I got an MSc in Applied Mathematics from the Technical University of Lisbon (at IST ) in 1993 with a thesis on verification of temporal logic specifications using tableaux. I got a PhD from the Technical University of Lisbon (at IST ) in 1998 with a thesis on abductive reasoning in the context of temporal logic specifications of concurrent reactive systems.

Research

• Main interests:
  • fibring of logics;
  • temporal logic;
    
  • abductive reasoning.
    

Publications

• Books
• Book chapters
• Serial papers
• Conference papers
• All (including submitted papers)

Citations from the Computer Science Community using ResearchIndex

Teaching

My usual teaching activities comprise the following undergraduate courses: Theory of Computation and Discrete Mathematics.