Project Coordinators
Luca Cardelli
Department of Computer Science, University of Oxford
Personal page
Mirco Tribastone
IMT School for Advanced Studies Lucca
Personal page
Max Tschaikowski
Department of Computer Science, University of Aalborg
Personal page
Andrea Vandin
Sant'Anna School of Advanced Studies Pisa

Personal page

ERODE Support


Contributors
  • Lavinia Mariotti, MArch, for the design of ERODE‚Äôs logo.
  • Isabel Cristina Perez-Verona (IMT Lucca)
  • Stefano Tognazzi (University of Konstanz)
  • Tabea Waizmann (IMT Lucca)