| layout |
|---|
homepage |
Hi! I'm a third-year Ph.D. student at the University of Illinois Urbana-Champaign. I am broadly interested in programming languages and formal methods, with more specific interests in verifying systems software. I currently work with Tianyin Xu on compositional verification of liveness properties for Kubernetes controllers. We are implementing support for this on top of Anvil, a Kubernetes verification framework for the Rust verifier Verus.
I previously worked with Madhusudan Parthasarathy to develop a predictable automatic verification paradigm based on intrinsic, or local, definitions rather than recursive definitions. Also, prior to joining Illinois, I did research in high-performance computing with Dingwen Tao. My research focused on using GPU performance engineering to improve scientific computing applications.
See my CV here, and please don't hesitate to reach out to me.
- Ph.D. in Computer Science, University of Illinois Urbana-Champaign, 2022-present
- M.S. in Computer Science, University of Illinois Urbana-Champaign, 2022-2024
- B.S. in Computer Science and Mathematics, University of Alabama, 2018-2022
- Programming Languages and Formal Methods
- Systems Verification
- Concurrency
- 4/2024: Our paper on intrinsic definitions will appear in PLDI 2024! My Erdős number is now at most 3!
- 10/2022: I was selected to recieve support to attend the Programming Languages Mentoring Workshop at POPL 2023. Looking forward to attending POPL next January!
- 4/2022: I will be attending the Oregon Programming Languages Summer School (OPLSS) this summer, on a travel grant.
- 4/2022: I will be attending the University of Illinois Urbana-Champaign for my Ph.D.
{% include_relative _includes/publications.md %}
{% include_relative _includes/misc.md %}