Thanks to visit codestin.com
Credit goes to github.com

Skip to content

@SynthesisLab SynthesisLab

Users following SynthesisLab

@Neyviv
Neyviv
@pauleve
Loïc Paulevé pauleve

France

@eisape
Tiwalayo Eisape eisape

MIT Cambridge, MA

@igarnier
igarnier
I guess I'm a nerd

Paris, France

@remimorvan
Rémi Morvan remimorvan
PhD student in logic.

LaBRI, U. Bordeaux

@GBathie
Gabriel Bathie GBathie

Bordeaux, France

@Numero7
Hugo Gimbert Numero7

CNRS, Rhoban Project Bordeaux, France

@kameronton
Roman Kniazev kameronton
postdoc in rl and formal methods

LaBRI, Université de Bordeaux Paris

@Theomat
Théo Matricon Theomat
Postdoc at INRIA Rennes

INRIA Rennes France

@pvdhove
Pierre Vandenhove pvdhove
Research associate ("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