João Cardoso
Has grant
Full Professor (Informatics Engineering Department)
Research Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
About
João Cardoso is a Full Professor in the Informatics Engineering Department at Universidade do Porto Faculdade de Engenharia, Portugal. His research focuses on performance engineering for software applications, hardware generation, and formal verification methods. Recent publications include work on a DSL-based runtime adaptivity framework for Java and innovative approaches to matrix-based MATLAB models using interactive theorem proving.
Recent Grants
Grant: Close
Power Efficiency and Performance for Embedded and HPC Systems with Custom CGRAs
Open Date: 2018-10-01
Close Date: 2021-09-30
Grant: Close
Middleware and Context Inference Techniques from Data-Streams for the Development of Context-Aware Services using Mobile Devices
Open Date: 2016-06-01
Close Date: 2019-12-31
Grant: Close
Middleware and Context Inference Techniques from Data-Streams for the Development of Context-Aware Services using Mobile Devices
Open Date: 2015-11-01
Close Date: 2018-10-31
Grant: Close
AutoTuning and Adaptivity appRoach for Energy efficient eXascale HPC systems
Open Date: 2015-09-01
Close Date: 2018-08-31
Grant: Close
BESTCASE-RL8-REALTIME: Languages and tools for critical real time systems
Open Date: 2013-01-01
Close Date: 2015-06-01
Articles (12)
Year:
2023
Year:
2022
Year:
2022
Year:
2021
Year:
2021
Year:
2021
Year:
2021
Year:
2021
Year:
2020
Year:
2020
Year:
2020
Year:
2020
Collaborators (6)
Jan Martinovič
VSB - Technical University of Ostrava
GIANLUCA PALERMO
Associate Professor
Politecnico di Milano
CRISTINA SILVANO
Full Professor
Politecnico di Milano
Katerina Slaninova
VSB - Technical University of Ostrava
Pedro Diniz
Full Professor
University of Porto
João Ferreira
Associate Professor
University of Porto
Make your next move.
Prepare your application
Review drafts before you send them.