Background
Education
- Ph.D in Computer Science, University of California, Los Angeles, (in progress)
- M.S. in Computer Science, University of Illinois, Urbana-Champaign, 2020
- Advisor: Grigore Rosu, thesis: “Closing the Gap in the LLVM Backend of K”
- B.S. in Computer Engineering (Math minor), University of Illinois, Urbana-Champaign, 2018
- Advisor: Zbigniew Kalbarczyk, thesis: “Raincoat and DNP3 on POX”
Work experience
- Runtime Verification, Jan 2019 - May 2020
- LLVM Backend Engineering Intern
- Uber, Summer 2017
- Software Engineering Intern (iOS Rider App)
- U.S. Cellular, Summer 2016
- System Support Engineering Intern
Teaching
- FA21 - CS 132, Teaching Assistant, UCLA
- SP20 - CS 476, Teaching Assistant, UIUC
- FA18 - CS 440, Teaching Assistant, UIUC
- FA17 - ENG 100, Lead Engineering Learning Assistant, UIUC
- Outstanding ICES ranking (top 10% of instructors)
- FA16 - ENG 100, Engineering Learning Assistant, UIUC
- Outstanding ICES ranking (top 10% of instructors)
- SP16, FA16, SP17 - ECE 391, Course Assistant, UIUC
Technologies
- C/C++
- Python
- JavaScript
- Swift
- Maude
Services
- Reviewer SEFM 2019, COLA 2019