Vladimir Voevodsky
vladimirias
Vladimir Voevodsky died September 30, 2017. This account is maintained in memoriam by Dan Grayson as his academic executor, https://dangrayson.com/.
William DeMeo
williamdemeo
I do formal methods and verification, universal algebra, complexity theory, artificial intelligence and functional programming in Agda, Lean, Scala and Spark.
IO @input-output-hk Boulder, CO, USA
Alexey Taktarov
molefrog
React / Micro Libraries / Animations / Tooling / Ruby on Rails / ex-founder resume.io, currently on hiatus but open to new opportunities
Copenhagen