PhD Student

Laboratory of Informatics of Grenoble - CAPP Team
Advisors: Nicolas Peltier, Ricardo Caferra
MAIL
vincent.aravantinos@imag.fr
TEL
+33611233472
ADDRESS
8 rue de Valois 75001 Paris

Themes

PhD Subject

Formula and proof schematisations

Projects

Project ASAP

News

  1. RegSTAB 1.4.5 released!
    • - Bugfixes
  2. RegSTAB 1.4.4 released!
    • - Bugfixes
    • - More examples provided
    • - More verbose