Partners

LaBRI

The BraVAS participants from LaBRI bring their expertise in infinite-state model-checking, data-bases formal verification, and vector addition systems.

• Jérôme Leroux (Project Coordinator)
• Diego Figueira
• Thibault Hilaire
• Vincent Penelle
• Grégoire Sutre

Former members

• María Emilia Descotte
• Filip Mazowiecki

LMF

The BraVAS participants from LMF bring their expertise in infinite-state model-checking, well-quasi-order theory, complexity theory, and vector addition systems.

• Philippe Schnoebelen (Local Coordinator)
• Alain Finkel
• Jean Goubault-Larrecq
• Igor Khmelnitsky
• Aliaume Lopez
• Sylvain Schmitz (Now at IRIF)

Former members

• Simon Halfon

CRIStAL

The BraVAS participant from CRIStAL brings his expertise in logic, model-checking, and databases.

• Sylvain Salvati (Local Coordinator)