Academic position: | Assistant 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 |
---|---|---|---|---|
KLog | KLog - Logics for Security | FCT/PTDC | 01-08-2007 | 01-08-2010 |
Activities from this researcher fall under the following United Nations Strategic Development Goals (SDGs):