jyoo980
Follow
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
John Hui
j-hui
programming languages, compilers, systems, computer music
Columbia University New York, NY
Kevin Laeufer
ekiwi
Modern Hardware Construction Languages and Automated Testing
UC Berkeley Berkeley, CA
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
I turn complex problems into simple solutions, one pun at a time. I love learning new technologies and evolving myself with the evolving world!
Senior Software Engineer @rbc-ecosystems | UBC-alum Vancouver, BC, Canada
Jonathan Chan
ionathanch
Grad student in PL & former splabmate · MSc @ UBC ⇝ PhD @ UPenn
PLClub @ UPenn Vancouver, Canada
Jonatan Schroeder
jonatanschroeder
Assistant Professor Teaching Stream
York University Toronto, ON, Canada
PreviousNext