8000
breandan
Follow
HKUST TACO Lab
hkust-taco
Types, Abstraction, Compilers & Optimization – research group at HKUST
Hong Kong
Chris Bryant
chrisjbryant
Researcher in Natural Language Processing
Writer, Inc. / University of Cambridge Singapore
Stephen Huan
stephen-huan
PhD CSD @ CMU SCS studying mathematical foundations of machine learning and generative modeling
Carnegie Mellon University Pittsburgh, Pennsylvania
Christopher Brix
ChristopherBrix
PhD student at RWTH Aachen University, Germany. I'm focusing on the verification of neural networks.
Aachen, Germany
Luca Beurer-Kellner
lbeurerkellner
Building secure and reliable agentic systems at Invariant Labs.
Zürich
Jiacheng 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
McCoy R. Becker
femtomc
Bayesian brain-in-a-jar.
Rising 5th year PhD @ MIT.
I work on probabilistic AI algorithms and software with modern hardware in mind.
@probcomp Boston, MA
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
PreviousNext