George Pîrlea
dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.
Singapore
Joomy Korkut
joom
Formal verification and programming languages researcher.
@Bloomberg New York City
Vaibhav Sagar
vaibhavsagar
software janitor. 🪩 enthusiast. @recursecenter f1'16.
gadigal land/sydney
Brendan Zabarauskas
brendanzab
I'm interested in how computers can extend human creativity, and how type systems can be used as tools for thought. 👨🎨👨💻👨🔬
@yeslogic Melbourne, Australia
George Pollard
Porges
(this is mostly a junkyard, but there are some nice bits)
@Microsoft Auckland, Aotearoa [New Zealand]
Paolo G. Giarrusso
Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda
Bedrock Systems Inc. Berlin, Germany
PreviousNext