SynthesisLab
Synthesis research team in LaBRI, Bordeaux, working on Program Synthesis, Reinforcement Learning, Specification Mining...
France
Rémi Morvan
remimorvan
Freelance software engineer.
PhD in database theory & automata theory.
Pierre Vandenhove
pvdhove
Research associate ("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