About

I have graduated from UC Santa Barbara in July 2022, and I am joining the Computer Science Department at University of San Francisco as an Assistant Professor in Fall 2022. I was a member of PL λab directed by Ben Hardekopf. My dissertation is on extracting memory usage behavior from C programs, and using that information to translate them to safer Rust programs, with a specific focus on unsafe pointers.

You can also see more things on my personal website.

Courses Taught:

• Spring ‘22: CS 32 (Object-Oriented Design & Implementation).
• Fall ‘21: CS 32 (Object-Oriented Design & Implementation).
• Spring ‘21: CS 138 (Formal Languages & Automata).
• Fall ‘20: CS 160 (Translation of Computer Programs).

Past TA Work:

• Winter ‘22: CS 162 (Programming Languages) taught by Ben Hardekopf.
• Winter ‘21: CS 138 (Formal Languages & Automata) taught by Prabhanjan Ananth.
• Spring ‘20: CS 160 (Translation of Computer Programs) taught by Ben Hardekopf.
• Winter ‘20: CS 170 (Operating Systems) taught by Tao Yang.
• Fall ‘19: CS 138 (Formal Languages & Automata) taught by Amr El Abbadi.
• Spring ‘19: CS 138 (Formal Languages & Automata) taught by Ben Hardekopf.
• Winter ‘19: CS 154 (Computer Organization) taught by Çetin Kaya Koç.
• Fall ‘18: CS 162 (Programming Languages) taught by Ben Hardekopf.
• Fall ‘16: CS270 (The Elements of Operating System Style and other Animadversions) taught by Rich Wolski.
• Spring ‘16: CS 162 (Programming Languages) taught by Ben Hardekopf.
• Winter ‘16: CS 162 (Programming Languages) taught by Ben Hardekopf.
• Fall ‘15: CS 160 (Translation of Computer Programs) taught by Tevfik Bultan.