Mostly working on "CrossHair": easy SMT, fuzzing, & verification for Python.
- New York, NY
- https://pschanely.github.io/
Lyle Hayhurst
lhayhurst
"We reject: kings, presidents and voting. We believe in: rough consensus and running code."
https://en.wikipedia.org/wiki/David_D._Clark
Audrey Dutcher
rhelmot
PhD student doing binary analysis, CTF player with Shellphish, founder at Emotion Labs
Emotion Labs Phoenix, AZ
Zac Hatfield-Dodds
Zac-HD
Researcher, maintainer of libraries, speaker at conferences, PSF Fellow.
Anthropic San Francisco
Michelle Steigerwalt
Yuffster
I write code sometimes and then I upload the codes to the GitHubs.
You can run the code on
Linux or Windows or Apples.
litany.io Bethesda, MD
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Davis Barber
barberdt
Software Engineer at GreenLite. Formerly of Teachable, Woven, Airbnb, and Squarespace.
Teachable Hastings-on-Hudson, NY
Matt Kangas
kangas
Orient, observe, dream, act. Builder of software and teams at Macmillan Publishers. Previously at MongoDB and Yahoo!
@MacmillanPlatform Hastings on Hudson, NY