About

I am a Ph.D. student in the Department of Computer Sciences at the University of Wisconsin–Madison, advised by Prof. Paraschos Koutris.

My research primarily focuses on database theory, with a strong interest in applying theoretical insights to practical system design. Beyond databases, I am also interested in traditional systems topics such as operating systems and distributed systems.

Prior to that, I received my B.E. from the School of Information Science and Technology at ShanghaiTech University.

Collaborations, discussions, and chats are welcome!

-- Keep calm & do good research!
class Researcher (CS : Type) (Me : Type) where
  week : Me → List (Literature CS) → Project CS → Discussion CS → IO Unit

-- Implementation if far from completion
  week me pubs proj comm := do
    let learning ← pubs.collect >>= (·.study)
    let progress ← proj.hardWork
    let insights ← comm.make >>= (·.summarize)
    me.meeting learning progress insights
    pure ()

(Idea by Guanzhou)

Email: zyu379 [AT] wisc [dot] edu

Publications

Database

[NEW] FlowLog: Efficient and Extensible Datalog via Incrementality
Hangdong Zhao, Zhenghong Yu, Srinag Rao, Simon Frisk, Zhiwei Fan, Paraschos Koutris
VLDB ‘26 (To Appear)
[Paper] [Code]

Robotic

Accelerating Focal Search in Multi-Agent Path Finding with Tighter Lower Bounds
Yimin Tang, Zhenghong Yu, Jiaoyang Li, Sven Koenig
IROS ‘25
[Paper] [Code]

Education

University of Wisconsin-Madison, WI, USA
Ph.D. · Computer Science · Sep. 2024 to Now

University of Wisconsin-Madison, WI, USA
VISP · Computer Science · Jan. 2023 to Jan. 2024

ShanghaiTech University, Shanghai, China
B.E. · Computer Science · Aug. 2020 to Jun. 2024

Magician

I was a proud member of Magician, the robotics student team of RMUC. It was the starting point of my academic journey, and I’m always grateful and honored to have been part of that team — those were among my happiest undergraduate days. Magician is still my mental home, wherever I go.

Service

UW–Madison Database Seminar, Organizer Fall 2025

Teaching (TA)

CS 220 Data Science Programming I Spring 25 (T. F. Mike Doescher, T. F. Louis Oliphant)
CS 564 DBMS: Design and Implementation Fall 24 (Prof. AnHai Doan), Fall 25 (Prof. Paraschos Koutris)