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)

• GitHub→

  gh:haochenx

• Twitter→

  @haochenxie

• kxc.inc→

  Kotoi-Xie Consultancy, Inc.

• kxc.dev→

  Open Source at KXC