Manuel A. Martins
Associate Professor
Universidade de Aveiro
Portugal
Has grant
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do Nigerian students reach out?
Sign in for free to see their profile details and contact information.
Contact this professor
Research Interests
Mathematical Logic
Systems Neuroscience
Graph Theory
Fuzzy System
Theoretical Computer Science
Logic Programming
Formal Languages
Ask ApplyKite AI
Recent Grants
Grant: Close
KLEE - Coalgebraic Modeling and Analysis for Computational Synthetic Biology
Open Date: 2018-07-01
Close Date: 2021-06-01
Grant: Close
Intensionality as a unifier: Logic, Language and Philosophy
Open Date: 2018-01-01
Close Date: 2019-12-01
Grant: Close
LTSB - Logical Tools for Systems Biology.
Open Date: 2018-01-01
Close Date: 2019-12-01
Grant: Close
DaLí - Dynamic Logics for cyber-physical systems: towards contract based design
Open Date: 2016-07-01
Close Date: 2019-11-01
Grant: Close
Hybrid intensional Logic
Open Date: 2014-01-01
Close Date: 2016-01-01
Articles11
Year:
2023
Year:
2021
Collaborators5
Madalena Chaves
Inria Centre de Recherche Sophia Antipolis Méditerranée
Alexandre Madeira
Assistant Professor
Universidade de Aveiro
Daniel Figueiredo
Invited lecturer
Universidade de Aveiro
M. Antonia Huertas
Associate Professor
Universitat de Girona
Víctor Aranda
Assistant professor
Universidad Complutense de Madrid
How do Nigerian students reach out?
Sign in for free to see their profile details and contact information.