haochenx
a.k.a. Haochen M. Kotoi-Xie, a.k.a. 謝 昊辰 (コトイ コウシン),
a programmer, a formal method advocate, also the funder, principal consultant, and managing partner of Kotoi-Xie Consultancy, Inc. (kxc.inc)
a.k.a. Haochen M. Kotoi-Xie, a.k.a. 謝 昊辰 (コトイ コウシン),
a programmer, a formal method advocate, also the funder, principal consultant, and managing partner of Kotoi-Xie Consultancy, Inc. (kxc.inc)