Koichiro Yuasa
kochanlucky
2020- 23 VFR (Vaio Flying Robotics) President
2019- 20 OYO Hotel (Hotel Franchise) Hub Head
2006- 19 IT Hardware Dell, Lenovo (NEC, IBM), Google VR
Walter Schulze
awalterschulze
Projects: facebook/fbthrift, gogoprotobuf, goderive, erlfmt.
Interests: LeanProver, Coq, Brzozowski's derivatives.
Stellenbosch University Stevenage, UK
Takashi Suwa
gfngfn
Develops type systems at Kyoto Univ. and works as a software engineer
Kyoto, Japan