Home Publications Training Teaching Bookmarks
 

Manuel A. Martins
(Associate Professor)


Department of Mathematics
Campus Universitário de Santiago
University of Aveiro
3810 - 193 Aveiro - Portugal

(tel) 351 234 370677
(fax) 351 234 382014
(email) martins_at_ua_dot_pt

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. POCI-01-0145-FEDER-030947 [07/2018--06/2021]

    LTSB - Logical Tools for Systems Biology. I am the Portuguese part coordinator of this project funded by FCT, Programa PESSOA, with French partner Madalena Chaves at INRIA Sophia Antipolis - Mediterranée [2018 -2019]

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

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

    Past Projects

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

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

    NASONI - Heterogenous software coordination: Foundations, methods, tools. PTDC/EEICTP/2341/2012 [06/2013--05/2015]

    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) PTDC/EIA-CCO/108302/2008 [03/2010--03/2013]

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

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

    Hide Past Projects


    Events

    MLCSB18 - International Symposium on Molecular Logic and Computational Synthetic Biology. Santiago Chile, 17-18 December, 2018 (Chair)

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

    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)

    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)

    Past Events

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

    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 - Second Annual Meeting of the Center for Research & Development in Mathematics and Applications (CIDMA)(member of the organizing committee)

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

    CIDMA'13 - First Annual Meeting of the Center for Research & Development in Mathematics and Applications (CIDMA) (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)

    Hide Past Events