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
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Mikola Lysenko
mikolalysenko
0fps.net
WebGL, data visualization, massively multiplayer games
Michigan