Roderick Chapman
rod-chapman
Security- and Safety-Critical software engineer. Designer and developer of the SPARK/Ada language and toolset for many years.
Amazon Web Services UK
Alcides Fonseca
alcides
Associate Professor at University of Lisbon, Portugal
Researcher at LASIGE
LASIGE, University of Lisbon Lisboa, Portugal
Simon Chu
sychoo
Software engineering PhD student at Carnegie Mellon
@SchoolofComputerScience Pittsburgh
Phillip Schanely
pschanely
Mostly working on "CrossHair": easy SMT, fuzzing, & verification for Python.
New York, NY
verus-lang
The Verus verification project. Logo usage info at https://verus-lang.github.io/verus/verus/logo.html
Can Bölük
can1357
Security researcher and reverse engineer.
Interested in Windows kernel development, low-level programming, static program analysis and cryptography.
The Netherlands
Adrian Sampson
sampsyo
Hi! I'm a terrifying Cornell professor, the kindly progenitor of @beetbox, and pretty into The Magnetic Fields. 6'2".
Cornell University Ithaca, NY
Leni Aniva
lenianiva
Don't weep because your code has a bug, smile because it can run.
Stanford University Centaur Lab @stanford-centaur San Francisco Bay Area, Gensokyo
Katrina (Yuqiao Hu)
Katrina0406
Carnegie Mellon University '24
The Experimental HS Attached to BNU '20
Beijing
Linxuan M
linxuanm
CMU SCS '27 | I write bad compilers that sometimes work if they decide to be nice to me
Kalimdor, Azeroth
PreviousNext