He is also the Director of CITI (Center of Informatics and Information Technology). Member of EATSC, ACM, ICTI (CMU|Portugal) and IFIP TC-2 WG 2.2 (on Formal Description of Programming Concepts), his research interests span from concurrency models and logics to program languages, calculi and types. His work on spatial logic, with Luca Cardelli and others, is widely recognized as a landmark in the area.