Up to 30% off — ends 7 Aug
ONLY00h00m00s
Up to 30% off — ends 7 Aug
ONLY00h00m00s
Alexandre Madeira
Assistant Professor
Universidade de Aveiro
Portugal
Has grant
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do I reach out?
Sign in for free to see their profile details and contact information.
Contact this professor
Research Interests
Mathematical Logic
Artificial Intelligence
Logic Programming
Formal Languages
Proof Theory
Synchronous Machines
Modal Logic
Ask ApplyKite AI
Recent Grants
Grant: Close
[Not executed] Verification frameworks on-demand: new challenges and applications
Open Date: 2019-01-01
Close Date:
Grant: Close
DaVinci -- Distributed Architectures: Variability and Interaction for Cyber-Physical Systems
Open Date: 2018-07-01
Close Date:
Grant: Close
KLEE - Coalgebraic Modeling and Analysis for Computational Synthetic Biology
Open Date: 2018-07-01
Close Date:
Grant: Close
TRUST -- Trustworthy Software Design with Alloy
Open Date: 2016-07-01
Close Date:
Grant: Close
DaLí - Dynamic Logics for cyber-physical systems: towards contract based design
Open Date: 2016-07-01
Close Date:
Articles9
Year:
2023
Collaborators3
Manuel A. Martins
Associate Professor
Universidade de Aveiro
Luis Soares Barbosa
Deputy Head
United Nations University
Alexander Knapp
Professor
University of Augsburg
How do I reach out?
Sign in for free to see their profile details and contact information.