Qirui Jin

I'm a Senior Undergraduate student at University of Michigan. Prior transferring to Umich, I studied as an undergraduate at Huazhong University of Science and Technology. My research interests lies in security, software engineering, formal methods and machine learning. I had the fortunate to be advised by Prof. Kexin Pei, Prof. Suman Jana and Prof. Huan Zhang.

I'm actively looking for PhD position in 2025 Fall. Feel free to contact me at if you see a good fit!

Publications

(* Equal Contribution)

Neural Network Verification with Branch-and-Bound for General Nonlinearities
Zhouxing Shi*, Qirui Jin*, Zico Kolter, Suman Jana, Cho-Jui Hsieh, Huan Zhang
TACAS, 2025
Exploiting Code Symmetries for Learning Program Semantics
Kexin Pei, Weichen Li*, Qirui Jin*, Shuyang Liu, Scott Geng, Lorenzo Cavallaro, Junfeng Yang, Suman Jana
ICML, 2024 (Spotlight Top-3.5%)
Graft: Efficient inference serving for hybrid deep learning with SLO guarantees via DNN re-alignment
Jing Wu, Lin Wang, Qirui Jin, Fangming Liu
IEEE Transactions on Parallel and Distributed Systems, 2023

formatted by Markdeep 1.18

✒