| Postal address and contacts | | Affiliations | | Short CV | | Courses and students | | Research, publications, projects, and events | |
Semantics of programming languages, theory of concurrent and distributed systems (mainly using process calculi), type systems and static verification of correctness properties.
ACM classification
D.3 Programming Languages
F.1 Computation by Abstract Devices
F.3 Logics and Meanings of Programs
F.4 Mathematical Logic and Formal Languages
AMS classification
03B Mathematical logic and foundations (temporal and modal logics)
68Q Theory of computing (Models of computation, semantics, specification and verification, models and methods for concurrent and distributed computing)
Using GoogleScholar: here.
MONACO: Models for New Applications of Concurrency
Action IC0701: Formal Verification of Object-Oriented Software
Sensoria: Software Engineering for Service-Oriented Overlay Computers
Mikado: Mobile Calculi based on Domains
Profundis: Proofs of Functionality for Mobile Distributed Systems
Space-Time-Types: Behavioural and Spatial Type Systems
MIMO: Models and Infra-structures for Mobile Computing
TyCO: Typed Concurrent Objects
FOCLASA 2011 (Co-Chair)
Co-organiser of the 1st Workshop on Behavioural Types
General chair of the 4th International Conference on Distributed Computing Techniques (DisCoTec'09)
Workshops chair of the 18th International Conference on Concurrency Theory (CONCUR'07)
Workshops chair of the 32nd International Colloquium on Automata, Languages and Programming (ICALP'05)
Last modified: Sun Aug 7 19:13:16 WEST 2011