Types for protocol-oriented programming. CobaltBlue: a tool for (TypeState-)checking that concurrent objects are used according to their protocol.
Epistemic aspects of computer science
Comparative programming language analysis
Concurrent programming languages
Concurrency theory: True Concurrency.
Mobile concurrent systems: semantics, type
systems, security issues.
Types for Object Oriented
Current Scientific Activities
Programme Committee of PLACES 2017: Programming Language Approaches to Concurrency- and Communication-cEntric Software
Publicity Chair of ECOOP 2017.
Speaker at Curry On 2016.
Programme Committee of 43rd International Colloquium on Automata, Languages and Programming (ICALP 2016 - Track B)