Takashi Suwa
gfngfn
Develops type systems at Kyoto Univ. and works as a software engineer
Kyoto, Japan
Vladimir Voevodsky
vladimirias
Vladimir Voevodsky died September 30, 2017. This account is maintained in memoriam by Dan Grayson as his academic executor, http://dangrayson.com/.