SynthesisLab
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