About Me

About Me

Who

  • This is Luke.
  • Also LukeXuan and Luke Lazurite somewhere.
  • Junior student at University of Michigan, currently working as research intern at Princeton Univeristy.
  • Considering to apply for PhD program, especially in the field of formal verification and programming languages, please take a look at my CV
  • I love research! I have lots of experience in formal verification and distributed systems, and trying to combining them together.

Contact

  • Mail: bWVAeGxrLm1l
  • QQ: NTYyMjI5OTE3 (Deprecated)
  • Telegram: aHR0cHM6Ly90ZWxlZ3JhbS5tZS9MdWtlWHVhbg==
  • Social networks:
Share