Research

Current research interests

Correctness of program and component software properties obtained by construction via language design or derivation from specifications, or obtained a posteriori by static analysis or deductive verification. Applied formal methods in the context of security and the internet of things.

Research results are presented in my papers and talks (sorted by year, in DBLP).

Students

Ongoing projects

Past projects

Former Postdoctoral Researchers

Former Students

International and Young Researchers School Lectures

Organization and Program Chair

Guest editor

Programme committee member

PhD Committees

2023

2022

2020

2019

2018

2016

2015

2014

2013

2011

2009

2005-2008

Past Working Groups