Zachary Tatlock
ztatlock
Associate Professor,
UW Allen School (CSE)
University of Washington Seattle, WA
Martin Kellogg
kelloggm
Assistant Professor at the New Jersey Institute of Technology. I work on making software verification practical for developers.
Jakub Kozłowski
kubukoz
Scala developer who likes functional programming and other nice things.
Sometimes I run; sometimes I speak at conferences.
SiriusXM (contractor) Wrocław
Austin Henley
AZHenley
Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft
Pittsburgh
Markus de Medeiros
markusdemedeiros
PhD student in formal methods at NYU under the supervision of Joseph Tassarotti
Kevin Laeufer
ekiwi
Modern Hardware Construction Languages and Automated Testing
Cornell University Ithaca, NY
Li Haoyi
lihaoyi
I'm a software engineer. If you like using my libraries or reading my blog https://www.lihaoyi.com/, you should check out my book https://www.handsonscala.com
Syed Ishtiaque Ahmad
ishtiaque05
Always learning, always evolving—just like my `git stash`
Senior Software Engineer | UBC-alum Vancouver, BC, Canada
Jonathan Chan
ionathanch
Grad student in PL & former splabmate · MSc @ UBC ⇝ PhD @ UPenn
PLClub @ UPenn Vancouver, Canada
PreviousNext