Skip to content

Users following SynthesisLab

@igarnier
igarnier
I guess I'm a nerd

Paris, France

@remimorvan
Rémi Morvan remimorvan
Freelance software engineer. PhD in database theory & automata theory.
@Numero7
Hugo Gimbert Numero7

CNRS, Rhoban Project Bordeaux, France

@Theomat
Théo Matricon Theomat
Postdoc at INRIA Rennes

INRIA Rennes France

@pvdhove
Pierre Vandenhove pvdhove
Junior lecturer ("Premier Assistant") in CS at Université de Mons.

Université de Mons Belgium

@nathanael-fijalkow
Nathanaël Fijalkow nathanael-fijalkow
Computer science researcher working on program synthesis

CNRS Bordeaux, France