Users following SynthesisLab
Rémi Morvan
remimorvan
Freelance software engineer.
PhD in database theory & automata theory.
Pierre Vandenhove
pvdhove
Junior lecturer ("Premier Assistant") in CS at Université de Mons.
Université de Mons Belgium
Nathanaël Fijalkow
nathanael-fijalkow
Computer science researcher working on program synthesis
CNRS Bordeaux, France