Hi there 👋

profile image

I’m a PhD student at University of Wisconsin - Madison, mainly studying programming languages, including formal verification and program synthesis.

In the past, I had the opportunity to be advised by Prof. Loris D’Antoni who is very energetic at doing research. I’m currently working with Prof. Tej Chajed on file system verification.

When I don’t do research, I mess up with amateur radio, play video games (while also modding them), and watch animes.

Publication

  • Jiangyi Liu, Charlie Murphy, Anvay Grover, Keith Johnson, Thomas Reps, and Loris D’Antoni. 2024. Synthesizing Formal Semantics from Executable Interpreters. To appear at OOPSLA ‘24 (October 2024).
  • Jiangyi Liu, Fengmin Zhu, and Fei He. 2023. Automated Ambiguity Detection in Layout-Sensitive Grammars. Proc. ACM Program. Lang. 7, OOPSLA2, Article 262 (October 2023), 26 pages. https://doi.org/10.1145/3622838

Teaching Assistant

  • Programming III: Spring, 2024, University of Wisconsin - Madison.
  • Foundations of Mobile Systems and Applications: Fall, 2023, University of Wisconsin - Madison.
  • Software Analysis and Verification: Spring, 2022, Tsinghua University.

Education

  • PhD student (2023-today): Dept. of Computer Sciences, University of Wisconsin - Madison
  • B.Sc. (2019-2023): School of Software, Tsinghua University