Maria João Coutinho

I was a teaching assistant for Computer Science at the Department of Mathematics of IST of the Technical University of Lisbon, where I was also a member of the Logic and Computation Group.

I was born in 1972 in Lisbon and got a diploma in Applied Mathematics and Computer Science at IST in 1995. I just got my MSc (in Applied Mathematics at IST) with the thesis A categorial study of the relationships between logics.

Research

• Main interests:

  • Model theory;
  • Relating and combining logics;
  • Modal and temporal logic;
  • Formal specification languages.

• Projects:

  • ACL;
  • SitCalc;
  • FIREworks;
  • ASPIRE.

Teaching (in portuguese)

• Elementos Algébricos da Programação II;
• Fundamentos Algébricos;
• Teoria da Computação;
• Fundamentos Lógicos.