breandan
Follow
Jiacheng (Gary) Liu
liujch1998
PhD student @ UW CSE. Private pilot. NLP, AGI, VR. Previously: Software Engineer @ Oculus, Undergrad @ UIUC, ACM ICPC WF '19.
University of Washington Seattle, WA
Liang Huang
lianghuang3
computational linguist and computational biologist.
Oregon State University Corvallis, OR
Daniel Hillerström
dhil
Effectful programmer
Computing Systems Laboratory, Zurich Research Center, Huawei Technologies Switzerland Zurich, Switzerland
Pavel Panchekha
pavpanchekha
University of Utah professor building new web browsers using programming languages techniques.
University of Utah School of Computing Salt Lake City, UT
Wouter Kool
wouterkool
PhD in Machine Learning & Optimization / OR Engineer at ORTEC
ORTEC Amsterdam
HARP Lab
harp-lab
We are the HARP (High-performance Automated Reasoning and Programming) lab
United States of America
Adrian Johnstone
AJohnstone2007
I am Professor of Computing at Royal Holloway, University of London
Royal Holloway, University of London Egham, Surrey, TW20 0EX UK
Alexander Mayorov
ZeroBone
Backend developer, computer science student. Interested in theoretical cs, algorithms, formal languages, compiler design, logic, automated reasoning, e.t.c.
RPTU Kaiserslautern-Landau Kaiserslautern, Germany
Sergey Dovgal
Sergey-A-Dovgal
Université de Bourgogne, Institut de Mathématiques de Bourgogne Dijon
Patrick Soga
AJB117
CS PhD student at UVA. Working on ML on graphs.
University of Virginia Charlottesville, VA
Chad Scharf
cscharf
I am a son of God. I believe in the inherent dignity of all life as sons and daughters of God from conception. I denounce satan and all his works and ideologies
St Augustine, FL
Kaiyu Yang
yangky11
Research Scientist @ Meta, FAIR
Meta Fundamental AI Research (FAIR) New York, NY
PreviousNext