Manuel A. Martins

(Assistant Professor)

Department of Mathematics

Campus Universitário de Santiago

University of Aveiro

3810 - 193  Aveiro - Portugal

(tel)         351 234 370658

(fax)        351 234 382014

Biography

I graduated in Mathematics at University of Aveiro in 1994 where I got a MSc in Mathematics in 1998 with the thesis Amalgamation in Logic. I got my PhD in Mathematics (Algebra, Logic and Foundations) from the University of Lisbon in 2004 with the thesis Behavioral Reasoning in Generalized Hidden Logics.
 

Research topics:

         Algebraic logic.

         Algebraic specification of abstract data types.

         Supported teaching and Elearning.

Projects:

[PTDC/MAT/68723/2006] KLog: Kleistic Logic (KLog: Lógica para Segurança).

[PTDC/EIA-CCO/108302/2008] Mondrian - Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability (Fundamentos para arquitecturas de serviços: certificação, reconfiguração dinâmica e auto-adaptabilidade)

Last update: 17-Out-2009.