Academic position: | Associate Professor |
Joining date: | 31-12-2006 |
Roles in IT: | Researcher |
Thematic Line: | Basic Sciences and Enabling Technologies |
Group: | Security and Quantum Information - Lx |
Acronym | Name | Funding Agency | Start date | Ending date |
---|---|---|---|---|
ComFormCrypt | ComFormCrypt - Computational Semantics of Formal Methods in Cryptography | FCT/PTDC | 01-02-2011 | 01-07-2014 |
Confident | Confident - Communication Contracts for Distributed Systems Development | FCT | 01-05-2016 | 01-05-2019 |
DIVINA | DIVINA: Detecting Injection Vulnerabilities In Node.js Applications | FCT/ CMU | 26-03-2022 | 25-03-2023 |
DP-PMI | Doctoral Programme in the Physics and Mathematics of Information: Foundations of Future Information Technologies (DP-PMI) | FCT | 01-01-2014 | 01-12-2021 |
KLog | KLog - Logics for Security | FCT/PTDC | 01-08-2007 | 01-08-2010 |
QSec | Quantum Security | FCT/PTDC | 01-11-2007 | 01-10-2009 |
QuanLog | Logic in Quantum Computation and Information | FCT/POCI | 01-01-2005 | 01-12-2007 |
Activities from this researcher fall under the following United Nations Strategic Development Goals (SDGs):