Pu (Luke) Yi


Email / Google Scholar / Twitter

Short Bio

My formal name is Pu Yi (Chinese: 易普), and I usually go by Luke. I am a first-year Ph.D. student in computer science at Stanford University, advised by Prof. Sara Achour. My research interests are unconventional computing paradigms and their interplay with emergent hardware technologies. I am generally interested in programming languages, formal methods, and software engineering.

I obtained my B.S. (summa cum laude) in computer science from Turing Class, Peking University, China. My undergraduate research focused on software testing, under the supervision of Prof. Darko Marinov and Prof. Tao Xie.

My formal CV: CV

Selected Publications


I participated in programming contests (Olympiad in Informatics in China) in my high school and have stayed in the community ever since. I served as the president of the Peking University Student Algorithm Association (PKUSAA) for a year, where we organized the biggest programming contests in PKU. I also help train high school students for programming contests from time to time.
I enjoy various sports and particularly like to play basketball. I sometimes watch basketball (a fan of Lebron James), baseball and football games. I've been a gamer since childhood. Red Dead Redemption 2 is my favorite game. I learn German (Duetschlernen macht mir viel Spaß). I enjoy watching movies.