IBEX - Quantitative methods for cyber-physical programming

Co-PI

Project PTDC/CCI-COM/4280/2021 (FCT). Aims at developing the mathematical foundations of cyber-physical programming by taking into account two fundamental quantitative aspects: uncertainty and behavioural distance. Jan 2022 - December 2024.

QuantELM - from Ultrafast optical processors to Quantum Extreme Learning Machines with integrated optics

Researcher

INESC TEC seed project. Aims at deploying functional all-optical Extreme Learning Machines (ELM), exploring them in two intertwined paths of optics, setting the stage for an innovative experimental approach to quantum computing. January 2023 - December 2024.

KLEE - Coalgebraic modeling and analysis for computational synthetic biology

Coordinator

Project 030947 (FCT). Aims at developing coalgebraic models and logics for synthetic biological devices, combining discrete, continuous, and stochastic behaviours. June 2018 - June 2021.

SmartEGOV - Harnessing EGOV for smart governance: Foundations and tools

Coordinator

Project P2020 NORTE-45-2015-23. Aims at harnessing ICT and EGOV technologies and processes to promote effective, secure and integrated smart governance structures at all levels of public Administration. January 2016 - June 2019.

DaVinci - Distributed architectures: Variability and interaction for cyber-physical systems

Researcher

Project 030947 (FCT). Focused on how to specify and verify interaction patterns between large and heterogeneous component-based systems, and how to derive their efficient and trustworthy implementation. June 2018 - June 2021.

DaLí - Dynamic Logics for cyber-physical systems: towards contract based design

Researcher

Project POCI-01-0145-FEDER-016692 (FCT). Aims at proposing a generic methodology for design and a family of dynamic logics for verification of cyber-physical systems, resorting to contracts to build reliable abstractions of (discrete, continuous, mixed) components and enabling hierarchical and compositional development. 2016 - 2018.

TRUST - Trustworthy Software Design with Alloy

Researcher

Project PTDC/EEI-CTP/2904/2014 (FCT). Aims at developping a methodology for trustworthy software design that is both formal, unified, and lightweight. 2016 - 2018.

NASONI - Heterogenous software coordination: Foundations, methods, tools.

Coordinator

Project PTDC/EEI-CTP/2341/2012 (FCT). Aims at establishing innovative scientific foundations and enabling techniques for the dependable development and composition of heterogeneous software. 2013-2016.

QAIS - Quantitative analysis of interacting systems: foundations and algorithms.

Researcher

Project PTDC/EIA-CCO/122240/2010 (FCT). Focused on the theory of metric behavioural equivalences and the development of efficient algorithms to compute the distance between two systems. 2013-2015.

MONDRIAN - Foundations for architectural design

Coordinator

Project PTDC/EIA-CCO/108302/2008 (FCT).Aims at at developing new calculi, techniques and tools to certify and reason about service-oriented architectural patterns, with a special focus on dynamically reconfigurable components and self-adaptable architectures. 2010-2013.

CROSS - An infrastructure for certification and re-engineering of open source software.

Researcher

Project PTDC/EIA-CCO/108995/2008 (FCT). Aims at developing new program understanding and analysis techniques and combining them for quality assessment of open source code. 2010-2013.

MathIS - Reinvigorating mathematics for the information society

Coordinator

Project PTDC/EIA/73252/2006 (FCT). Aims at exploiting the dynamics of algorithmic problem solving and calculational reasoning in both maths education (by reframing a collection of themes in pre-university mathematics) and the practice of software engineering. 2008 - 2011.

LERNet - ALFA Network PhD Programme

Portuguese Coordinator

Project EU-ALFA (II-0472-FA). ALFA Network for Joint European - Latin American PhD programme in Language engineering and rigorous software development. 2005 - 2009.

PURE - Program understanding and re-engineering: Calculi and applications

Coordinator

Project POSI/CHS/44304/2002 (FCT). Aims at developping calculi for program understanding and reverse engineering, building on the formal techniques developed for the production of fresh, high quality software. 2003 - 2007.