Guillermo A. Perez
gaperez64
I am a software engineer turned computer scientist. My interests include formal verification, learning theory, and theoretical computer science in general.
University of Antwerp Antwerp, Belgium
SynthesisLab
Synthesis research team in LaBRI, Bordeaux, working on Program Synthesis, Reinforcement Learning, Specification Mining...
France
ChristopheG
chrisgdt
PhD student in Computer Science at Université de Mons (UMONS) and Université libre de Bruxelles (ULB)
Belgium
Nathanaël Fijalkow
nathanael-fijalkow
Computer science researcher working on program synthesis
CNRS Bordeaux, France
Liang Wang
ryanrhymes
computer networking, distributed systems, operating systems, complex systems, machine learning, big data frameworks ...
University of Cambridge Cambridge, UK
Clément Tamines
Skar0
PhD in Computer Science from the University of Mons (Belgium). Data Scientist.
Proximus Ada
Staquet Gaëtan
DocSkellington
PhD in Computer Science;
Young professor at École Centrale Nantes, France.
École Centrale Nantes France
KC Sivaramakrishnan
kayceesrk
IIT Madras and Tarides Chennai, India
Benjamin André
BenjaminAndre
Software Engineer, GameDev enthusiast, optimization seeker
Transurb Namur