Felix Wechsler
roflmaostc
My passion is combining optics with computer science.
Currently PhD @ LAPD
EPFL, Lausanne, Switzerland
PARTH RATHI
parthr09
I am a pre-final year engineering student at Birla Institute of Technology. I have a particular interest in quant data analytics and machine learning
Guannan Wei
Kraks
Postdoc at INRIA/ENS; Incoming assistant prof at Tufts; PL/FM/Compilers
INRIA/ENS; Tufts
Shuwen Sun
shuwens
Ph.D. student at Northeastern works on networking and systems in general.
Coffee aficionado and Rustacean
Northeastern University Boston, MA
Anastasios Antoniadis
anantoni
Ph.D. Student @ University of Athens. Program Analysis
University of Athens Athens, Greece
Jakub Błaszczyk
jblaszczyk
Answer Set Programming,
Automated Planning,
Description Logic,
Deontic Logic,
Automated Verification, Agents,
Blockchain
Midnight Coding Wrocław, Polska
Joomy Korkut
joom
Formal verification and programming languages researcher.
B603 @Bloomberg New York City
Sandra Dylus
ichistmeinname
holds PhD in PL; likes functional programming languages
@Cap3 Germany, Kiel
Jose A. Alonso
jaalonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.
Universidad de Sevilla Sevilla (España)
Hydrocat
hydrocat
I am a motivated developer that manages people and writes code !
Point 8 GmbH São Paulo