Projects

Ongoing projects
Acronym Project Start Date
CONFIDENT Communication Contracts for Distributed Systems Development 01/05/2016
Static Verification of Safe Parallelism Static Verification of Safe Parallelism 01/01/2016
Closed projects
Acronym Project Start Date
BETTY BETTY - Behavioural types for reliable large-scale software systems 26/10/2012
LIVENESS LIVENESS - Liveness, statically 20/03/2012
MULTICORE MULTICORE - Advanced Type Systems for Multicore Programming 01/01/2012
QUEST A Quest for Reliability in Generic Software Components 01/01/2010
AssertionTypes Assertion Types for Object-Oriented Programming 01/01/2010
SENSORIA SENSORIA - Software Engineering for Service-Oriented Overlay Computers 01/09/2005