About Me

About Me

Who

  • This is Yixuan (Luke) Chen.
  • I’m a first-year Ph.D. in Computer Science at Yale advised by Prof. Zhong Shao.
  • I’m interested in formal verification applied to modern concurrent and distributed systems.
  • I also like geography, history, and guitar.

Contact

  • Mail: bWVAeGxrLm1l
  • Telegram: aHR0cHM6Ly90ZWxlZ3JhbS5tZS9MdWtlWHVhbg==
  • Social networks:
Share