Xavier Allamigeon: static analysis by AI of memory manipulation
Cyrille Artho: Model checking of multi-threaded programs
Vincent Atassi: Linear logic and so on ...
David Baelde: Bedwyr theorem prover (LL)
Benoît Combemale: Validation of Metamodels
Zaynah Dargaye: Verifying a C compiler
Jérôme Feret: AI of mobile systems (and application to biology)
Julien Demouth: Algrebraic geometry ?
Malo Denielou: Abstraction and subtyping in distributed languages
Francesco Logozzo: AI of OO programs
Samuel Mimram: Game semantics, an algebraic approach
Yannick Moy: Analyzing dynamic memory use in C programs
Mathias Peron: Relational abstract domains with disequalities
Florence Plateau: N-synchronous model in lucid synchrone
Sylvain Pradalier: Process calculi for biology modelling
Nicolas Tabareau: game semantics and category theory
Sylvain Salvati: Abstract categorial grammars
Nathalie Sznajder: ??? Distributed controllers synthesis ???
Christian Sommer: ?? Algorithms and cryptology ??
Matthieu Sozeau: Dependant types in the COQ proof assistant