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, under supervision of Don Pigozzi and Isabel Ferreirim.
 

 

Research topics:

*         Algebraic logic.

*         Modal logic.

*         Algebraic specification of abstract data types.

*         Supported teaching and Elearning.

 

Projects:

 

KLEE - Coalgebraic Modeling and Analysis for Computational Synthetic Biology. IR: Luís S. Barbosa; co-IR: Manuel A. Martins.             NEW ! (approved on 09.02.2018)

 

[FFI2017-82554-P] Intensionality as a unifier: Logic, Language and Philosophy. IR: Maria Manzano. University of Salamanca. Spain. [2018-2019]

 

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

 

 

Events:

 

DiL'18 - Days in Logic, Uni. Aveiro, Portugal, Jan 25-27, 2018. (member of the organizing committee)

IL’17 - Workshop on Intensional Logic, Uni. Salamanca, Nov. 10-11, 2017 (member of the organizing committee)

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

DALÍ - Dynamic Logic: new trends and applications
Brasília, September 23-24, 2017. (member of the program committee)

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

ML’17 - Forth Workshop on Molecular Logic (co-allocated with the conference AlCoB17), Uni. Aveiro, Portugal, June 6, 2017. (member of the organizing committee).

 

 

Past 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]

[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] 

[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/MAT/68723/2006] KLog: Kleistic Logic (KLog: Lógica para Segurança). [08/2007--08/2010]

 

 

Past Events:

 

SBLP'16 - Brazilian Symposium on Programming Languages (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

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)

CIDMA'14  - (member of the organizing committee)

SBLP'14 - Brazilian Symposium on Programming Languages (member of the program 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)

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

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

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

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