avatar

Leiqi Ye

I am Leiqi Ye, a second-year PhD student in Computer Science at the University of Edinburgh, advised by Dr. Elizabeth Polgreen and Dr. Jianyi Cheng. Prior to my PhD, I completed my undergraduate studies at the University of Michigan, where I worked with Prof. Yatin Manerkar.

My research interests lie in hardware formal verification and program synthesis, with a broader goal of improving the reliability and automation of hardware design, as well as enhancing the scalability of verification techniques.

News

  • 2026/04 Serving on the Artifact Evaluation Committee and as Sub Reviewer for OOPSLA 2026.
  • 2026/04 “Massively Parallel Mining of Specifications for Hardware Designs” accepted at CAV 2026.
  • 2026/03 Completed internship at Annapurna Labs (Amazon) as Applied Scientist Intern.
  • 2025/12 Intern at Annapurna Labs (Amazon) as Applied Scientist, working on formal verification of ML accelerators.
  • 2025/09 Presented my slides at FMCAD 2025 in Menlo Park. Here are the Slides.
  • 2025/08 Finished my first year in Edinburgh and passed Annual Review.
  • 2025/04 “Unlocking Hardware Verification with Oracle Guided Synthesis” accepted at FMCAD 2025.
  • 2024/10 Got my second supervisor Dr. Jianyi Cheng.
  • 2024/09 Started my PhD program, supervised by Dr. Elizabeth Polgreen in Edinburgh.
  • 2024/01 Graduated from the University of Michigan with Bachelor of Science major in Computer Science.

Publications

  • Leiqi Ye, Guy Frankel, Jianyi Cheng, Elizabeth Polgreen. Massively Parallel Mining of Specifications for Hardware Designs. 38th International Conference on Computer Aided Verification (CAV), July 2026.

  • Leiqi Ye, Yixuan Li, Guy Frankel, Jianyi Cheng, Elizabeth Polgreen. Unlocking Hardware Verification with Oracle Guided Synthesis. The 25th Conference on Formal Methods in Computer-Aided Design (FMCAD), October 2025. PDF Repo

  • Adwait Godbole, Leiqi Ye, Yatin A. Manerkar, and Sanjit A. Seshia. Modelling and Verification of Security-Oriented Resource Partitioning Schemes. The 23rd Conference on Formal Methods in Computer-Aided Design (FMCAD), October 2023. PDF Repo