Home Publications Training Teaching Bookmarks

  

 

Manuel A. Martins

(Assistant Professor)

 

Department of Mathematics

Campus Universitário de Santiago

University of Aveiro

3810 - 193  Aveiro - Portugal

(tel)         351 234 370677

(fax)        351 234 382014

                

 

Scopus Author ID: 55919842500

ORCID ID:  http://orcid.org/0000-0002-5109-8066

 

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.

*         Modal logic.

*         Algebraic specification of abstract data types.

*         Supported teaching and Elearning.

 

Projects:

 

GetFun - Generalizing Truth-Functionality - International Research Staff Exchange Scheme (IRSES) FP7-PEOPLE-2012- IRSES, Grant agreement number 318986. [01/2013--12/2016]

 

[FFI2013-47126-P] Hybrid intensional Logic.  Principal investigator: María Manzano, University of Salamanca. Spain. [2014-2016]

 

[POCI-01-0145-FEDER-016692] DaLí - Dynamic Logics for cyber-physical systems: towards contract based design. [07/2016--06/2019]

 

Old Projects:

 

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

[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) [03/2010--03/2013]

[FFI2009-09345] Completeness Notions.  Principal investigator: María Manzano, University of Salamanca. Spain. [2010-2012]

[PTDC/EEICTP/2341/2012] NASONI - Heterogenous software coordination: Foundations, methods, tools (Coordenação de software heterogéneo: fundamentos, métodos e ferramentas) [06/2013--05/2015] 

 

 

Recent Events:

 

SBLP'15 - Brazilian Symposium on Programming Languages (member of the program committee)

TTL 2015 - Fourth International Congress on Tools for Teaching Logic (member of the program committee)

GeTFun 4.0 - Compositional Meaning in Logic (member of the organizing committee) Affiliated with 8th International Joint Conference on Automated Reasoning (IJCAR2016

AlCoB 2017 - 4th International Conference on Algorithms for Computational Biology, Aveiro, Portugal, June 5-7, 2017. (member of the organizing committee)

 

Old Events:

 

MONDRIAN'10  -  First Workshop on Project Mondrian  (member of the organizing committee)

MONDRIAN'11  -  Second Workshop on Project Mondrian  (member of the organizing committee)

SBLP'12 - Brazilian Symposium on Programming Languages (member of the program committee)

MONDRIAN'12  -  Third Workshop on Project Mondrian (member of the organizing committee)

CIDMA'13  - (member of the organizing committee)

LOGIC COLLOQUIUM'13 - (member of the organizing committee)

SBLP'13 - Brazilian Symposium on Programming Languages (member of the program committee)

CIDMA'14  - (member of the organizing committee)

SBLP'14 - Brazilian Symposium on Programming Languages (member of the program committee)