Henry Blanchette
rybla
programming languages, formal verification, functional programming, game theory.
CS PhD student at UMD UMD
Joomy Korkut
joom
Formal verification and programming languages researcher.
@Bloomberg New York City
aaron
aatxe
programming language designer.
@nuprl and @plasma-umass alum.
@Roblox San Mateo, California
Langston Barrett
langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.
@GaloisInc Brooklyn
Carlos Toxtli
toxtli
PhD, Prof, Director of the Human-AI Empowerment Lab at Clemson University, Dad
Microsoft, Google, Amazon, Snapchat, GitHub, United Nations, Freelancer United States