PhD Student at
Department of Computer Science,
University of California, Santa Barbara.

I am currently a member of PL λab directed by Ben Hardekopf. I am working on extracting memory usage behavior from C++ programs, and using that information to translate them to safer Rust programs. I am also teaching CS 160 (Translation of Computer Programs) in Fall ‘20.

Office Hours (Fall ‘20)

TBD.

Past TA Work:

  • 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.