**Qirui Jin** qiruijin@umich.edu [*Github*](https://github.com/C-lister)/[*Google Scholar*](https://scholar.google.com/citations?user=0g6YBJMAAAAJ) ![](images/avatar.jpg width="25%" border="2") I'm a Senior Undergraduate student at [University of Michigan](https://umich.edu/). Prior transferring to Umich, I studied as an undergraduate at [Huazhong University of Science and Technology](https://www.hust.edu.cn). My research interests lies in security, software engineering, formal methods and machine learning. I had the fortunate to be advised by [Prof. Kexin Pei](https://sites.google.com/site/kexinpeisite/), [Prof. Suman Jana](https://www.cs.columbia.edu/~suman/) and [Prof. Huan Zhang](https://huan-zhang.com). *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*](https://arxiv.org/abs/2405.21063)
Zhouxing Shi*, *Qirui Jin**, Zico Kolter, Suman Jana, Cho-Jui Hsieh, Huan Zhang
TACAS, 2025 + [*Exploiting Code Symmetries for Learning Program Semantics*](https://arxiv.org/abs/2308.03312)
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*](https://ieeexplore.ieee.org/abstract/document/10347464)
Jing Wu, Lin Wang, *Qirui Jin*, Fangming Liu
IEEE Transactions on Parallel and Distributed Systems, 2023