Developers
- Michael Overton, Courant Institute of Mathematical Sciences, NYU
- Marc Millstone, IBM T.J. Watson Research Center
- Didier Henrion, LAAS-CNRS, Toulouse and Czech Technical University, Prague
- Suat Gumussoy, K.U. Leuven
- Georgia Deaconu, LAAS, Toulouse
- Denis Arzelier, LAAS, Toulouse