CS PhD at Cornell. PL things mostly. Ham Radio Callsign: KC1LTV
Highlights
Ivan Perez, PhD
ivanperez-keera
Principal Research Scientist @ NASA Ames Research Center |Haskell software architect | Public Speaker
@NASA Ames Research Center / KBR San Jose, CA
Anastasia Mavridou
anmavrid
Research Scientist @ NASA Ames Research Center - Do you speak FRETish? π
NASA Ames Research Center Mountain View, CA
Andrew Myers
andrewcmyers
Professor of computer science at Cornell University. Works on programming languages and security.
Cornell University Ithaca, NY, USA
Anthony D'Arienzo
anthony-darienzo
I'm a PhD student in mathematic at UIUC. I currently research categorical logic. I have also worked on heat-diffusion models for social networks.
Sam Grayson
charmoniumQ
PhD student, on a crusade to improve scientific software
University of Illinois at Urbana-Champaign /home/bedroom/bed
Talia Ringer
tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.
Champaign, IL
Shiv Trivedi
shiv213
Learn by doing |
You are amazing β€οΈ
University of Illinois at Urbana-Champaign
Peter Horvath
phorva01
Software Dev / Research Analyst @ mggg.org
MGGG Redistricting Lab Cambridge, MA
capslpop
Currently working on a voxel engine that can work with, edit, and restructure octrees in a simple and intuitive way without a lot of overhead.
Yug Mittal
mittal1787
Attends University of Illinois at Urbana-Champaign.
CS @ Illinois 2025
University of Illinois at Urbana-Champaign Urbana, IL
Eric Yoon
ericyoondotcom
Software eng intern at @epsilon3inc π β’ Yale class of 27 π β’ React βοΈ β’ Unity VR enthusiast π§
CA β CT
Mary Rose Cook
maryrosecook
I live in San Francisco. I work at Void.
Before, I worked at Airtable as a staff product engineer, at Ableton and at the Recurse Center.
San Francisco
Eric Xia
rkique
Interested in creative applications of emerging technology! LM approximation @ UCCS REU. Recurse S1 '22. Linguistics Math CS @ Brown University
Seattle
Eric Jolibois
PrettyWood
CTO @ToucanToco π¦
Passionate about FOSS β
Mostly Python, TypeScript and Rust
@ToucanToco Paris, France
Adam Chlipala
achlipala
Researcher in tools and platforms to help do niftier things with software and hardware
MIT Cambridge, MA
PreviousNext