People

RT-Proofs is a joint effort between INRIA, MPI-SWS, Onera, TU Braunschweig and Verimag, specifically the following individuals.

Inria Grenoble Rhône-Alpes / LIG (SPADES team)

• Pascal Fradet
• Xiaojie Guo
• Maxime Lesourd
• Sophie Quinton

MPI-SWS, Kaiserslautern

• Björn Brandenburg
• Sergey Bozhko
• Felipe Cerqueira

ONERA, Toulouse

• Marc Boyer
• Pierre Roux
• Lucien Rakotomalala

TU Braunschweig

• Leonie Ahrendts
• Rolf Ernst
• Borislav Nikolic

Verimag (Pacss team), Grenoble

• Xiaojie Guo
• Maxime Lesourd
• Jean-François Monin