- Lucca Hirschi: project coordinator (researcher at Inria)
- Vincent Laporte: member of the project (researcher at Inria)
- Tom Gouville: member of the project (PhD student, supervised by Lucca Hirschi and Steve Kremer)
- Michael Mera: member of the project (research engineer at Inria, hired for 1 year to work with us on tlspuffin)
- Steve Kremer: collaborator (researcher at Inria)
