Hi, I am glad to find you here! I am Yuki Yang, a first-year PhD student at the Paul G. Allen School of Computer Science & Engineering at the University of Washington. I am part of the Programming Language and Software Engineering (PLSE) group, advised by Professor Mike Ernst working on compile-time verification of Java program to prevent runtime errors.

I am interested in anything that combines algebra and software engineering, and I’ve found programming languages to be a perfect fit. Recently, I’ve been fascinated by category theory and hope to explore it further!

I completed my undergrad at Harvey Mudd College, majoring in Joint Computer Science and Math, with a Economics concentration. During my time at Mudd, I was part of Prof Lucas Bang’s ALPACA lab working on Asymptotic Path Complexity (APC), a really cool way of quantifying how complicated a piece of code is. During the summer of 2024, I was interning at Lawrence Livermore National Lab (LLNL) working on formalizing linear algebra theorems in Rocq.

In my free time, I enjoy traveling and exploring new places. I especially love road trips and visiting national parks. Last year, I traveled to Vienna for a conference, which sparked my interest in exploring more of Europe. I also like playing badminton, rock climbing, crocheting, and photography.

News!

📚 Sep 2025: New chapter starts in Seattle!

June 2025: I attended OPLSS in Eugene(!), which I learned a lot of interesting PL topics and would recommend it to anyone who are looking to learn more about PL and meet cool people.

May 2025: I graduated from Harvey Mudd College with High Distinction, Honors in Mathematics, and Honors in Computer Science!

➡️ March 2025: I am happy to announce that I will be going to University of Washington to pursue a PhD degree in the fall!

🎤 Jan 2025: Attending POPL 2025 at Denver and giving a talk on “Towards Verified Linear Algebra Programs Through Equivalence” at CoqPL!

💰 Dec 2024: I received a SIGPLAN PAC travel grant to support my trip to Denver. Thank you Sigplan!

✈️ Oct 2024: Attending PLMW @ Splash for the first time! Had a very good experience!

🎤 Sep 2024: First time in Europe! I will be presenting “Interprocedural Path Complexity Analysis” at ISSTA 2024, Vienna. I am working as a student volunteer as well!

💰 May 2024: Received funding from ACM-W to support travel to Vienna. Thank you ACM-W!

🎉 Mar 2024: Our paper “Interprocedural Path Complexity Analysis” is accepted at ISSTA2024! So excited that our hard work paid off. Go Bang Lab!!

✈️ Jan 2024: Attending Joint Mathematics Meeting (JMM) @ San Francisco.

Last Update: Nov 2025