Home

Projects

Filter Projects: 2020 - 2023

GOLEM

Automated Programming to Revolutionize App Development

From 2020 to 2023, financed by FCT

Maria Inês Camarate de Campos Lynce de Faria

PassCert

Exploring the Impact of Formal Verification on the Adoption of Password Security Software

From 2021 to 2022, financed by FCT Carnegie Mellon

João Fernando Peixoto Ferreira

FaultLocker

FAULT LOCalization and repair tooKit for dEpendable softwaRe

From 2018 to 2022, financed by FCT

Rui Filipe Lima Maranhão de Abreu

QUALICHAIN - IDSS

Decentralised Qualifications' Verification and Management for Learner Empowerment, Education Reengineering and Public Sector Transformation

From 2019 to 2021, financed by European Commission

Sérgio Luís Proença Duarte Guerreiro

});