SynthesisLab
Users following SynthesisLab
Rémi Morvan
remimorvan
Freelance software engineer.
PhD in database theory & automata theory.
Roman Kniazev
kameronton
postdoc in neuro-symbolic methods and rl
LaBRI, Université de Bordeaux Paris
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