- 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.
- Social networks: