Developers
Documentation
Community
Download
Current team members
Andrea Asperti
Full Professor
Claudio Sacerdoti Coen
Researcher
Enrico Tassi
PhD Student
Stefano Zacchiroli
PhD Student
Former members
Ferruccio Guidi
Luca Padovani
Irene Schena
Students, developers and contributors
Pietro Di Lena
Michele Galata'.
Alberto Griggio
Matteo Selmi
Vincenzo Tamburrelli