Joomy Korkut
joom
Formal verification and programming languages researcher.
@Bloomberg New York City
Bruno Oliveira
nicoddemus
Software developer, OS enthusiast, pytest core maintainer, and author of various pytest plugins. Contributing to @pytest-dev and @conda-forge.
Works at @ESSS.
ESSS Florianopolis, Brazil
Chun-Wei Chen
jcwchen
ex Nuro.ai,ex Microsoft AI Frameworks,
Carnegie Mellon University,
National Taiwan University
Sunnyvale, California
Jon Gjengset
jonhoo
Rust educational streamer. At @helsing-ai. Previously at AWS. A fan of making things secure, fast, scalable, and well-documented.
@helsing-ai Oslo, Norway
Alex Sanchez-Stern
HazardousPeach
CS researcher, engineer, and teacher, have worked at the University of Washington, UC San Diego, and UMass Amherst.
Siyu Li
SiyuLi915
Undergraduate of Georgia Institute of Technology
Class of 2020
Computer Science Major
Joe Politz
jpolitz
Most of my Github activity is related to my courses (see my website for details), the Pyret programming language, and various research efforts.
UC San Diego CA
PreviousNext