projects

  • confident _ communication contracts for distributed systems development
  • betty _ behavioural types for reliable large-scale software systems
  • liveness, statically
  • advanced type systems for multicore programming
  • certified interfaces for integrity and security in extensible web-based applications
  • assertion types for object-oriented programming
  • mikado _ mobile calculi based on domains
  • (read more...)