Formal methods for Security and Privacy
![Matteo Maffei](/faculty/306636_matteo.maffei.png)
Matteo Maffei
co-director
Informatics
![Laura Kovacs](/faculty/191912_laura.kovacs.png)
Laura Kovacs
Informatics
![Maria Christakis](/faculty/364913_maria.christakis.png)
Maria Christakis
Informatics
![Ezio Bartocci](/faculty/251490_ezio.bartocci.png)
Ezio Bartocci
Informatics
![Georg Weissenbacher](/faculty/251491_georg.weissenbacher.png)
Georg Weissenbacher
Informatics
![Georgia Avarikioti](/faculty/363185_georgia.avarikioti.png)
Georgia Avarikioti
Informatics