People
Currently the development team consists of the following people:
- Bittner Benjamin
- Bozzano Marco
- Cavada Roberto
- Cimatti Alessandro
- Dorigatti Michele
- Gario Marco
- Griggio Alberto
- Irfan Ahmed
- Mattarei Cristian
- Micheli Andrea
- Mover Sergio
- Roveri Marco
- Sessa Mirko
- Tonetta Stefano
- Zampedri Gianni
Previous contributors:
- Giacobbe Mirco
- Mariotti Alessandro
- Narasamdya Iman
- Pensallorto Marco
- Schuppan Viktor
- Tchaltsev Andrey
General contact
Please write to for general questions about nuXmv (including licensing and/or the web site).