James Gallicchio
JamesGallicchio
PhD student studying PL/FM.
I like building useful abstractions to make programming easier, and formal verification heavily guides that process for me :-)
Carnegie Mellon Pittsburgh, PA
Natalie Clarius
nclarius
Developer and student working on KDE, logic and teaching software
Tübingen, Germany
Daniel Micay
thestinger
Security researcher/engineer working on mobile privacy/security. Founder of @GrapheneOS.
@GrapheneOS Toronto, Ontario, Canada
Edward Li
EdwardJXLi
UBC Computer Science & Physics - Schulich Scholar - Hackathon Organizer @nwplus, CTF Player @ubcctf + @mmm-team, and Rocket Scientist @UBC-Rocket
Calvin Liang
Calvin-LL
Ex AWS. I do fullstack from distributed systems design to web and native Android, iOS.
Vancouver
Jonathan Chan
ionathanch
Grad student in PL & former splabmate · MSc @ UBC ⇝ PhD @ UPenn
PLClub @ UPenn Vancouver, Canada
David Teresi
dkter
I like to make things. UWaterloo Computer Engineering alum (class of '25).
Canada
Kevin Zhang
Zhang-Kevin16
Computer Engineering student at University of British Columbia. CTF noob.
Vancouver
Justin Hu
JustinHuPrime
I work as an SDE at Tesla (simulations team).
This is a personal account not endorsed by Tesla.
San Francisco Bay Area, California, United States of America
Markus de Medeiros
markusdemedeiros
PhD student in formal methods at NYU under the supervision of Joseph Tassarotti
Morgan Arnold
CrashAndSideburns
BSc with Honours in Mathematics from UBC, MSc student in Mathematics at EPFL. Bad code aficionado.
Prilly, Switzerland
Stargirl Flowers
theacodes
Open-source advocate ✨ Creative technologist ✨ OSHWA Board ✨ PSF Fellow
Opulo / Winterbloom Atlanta, Georgia
PreviousNext