Mingrui Zhang

Ph.D. Student in Computer Science

Mingrui Zhang is currently a Ph.D. Student in the School of Computing, University of Nebraska-Lincoln, under the supervision of Prof. Lisong Xu. Co-supervised by Prof. Hamid Bagheri.

His research interests include networking and software engineering, including network protocols, TCP congestion control, and formal methods.

Education

Ph.D. in Computer Science

2023 - Present

University of Nebraska-Lincoln

M.S. in Computer Science

2021 - 2023

University of Nebraska-Lincoln

B.S. in Computer Science

2016 - 2020

Beijing University of Technology

Experience

Graduate Research Assistant

2023 - Present

University of Nebraska – Lincoln

Graduate Teaching Assistant

2022 Spring

University of Nebraska – Lincoln

Data Structures and Algorithms (CSCE 311)

Graduate Teaching Assistant

2022 Fall

University of Nebraska – Lincoln

Data Modeling for Systems Development (CSCE 411/811)

Internship

July 2019

Red Hat (Beijing)

Quality Engineering Intern on Kernel General Group

Publications

Towards Accurate TCP FlightSize Estimation: A History-Aware Learning Approach

Mingrui Zhang, Jianlin Zhang

2025 IEEE International Performance, Computing, and Communications Conference (IPCCC)

Toward Non-Expert Customized Congestion Control

Mingrui Zhang, Hamid Bagheri and Lisong Xu

2025 IEEE International Conference on Communications(ICC)

Accuracy Evaluation of TCP FlightSize Estimation: Analytical and Experimental Study

Mingrui Zhang, Phuong Ha, Hamid Bagheri and Lisong Xu

2025 International Conference on Computing, Networking and Communications (ICNC)

Scalable Verification of Multi-ACK Properties in Loss-Based Congestion Control Implementations

Minh Vu, Hamid Bagheri, Lisong Xu, Wei Sun and Mingrui Zhang

2024 IEEE 32nd International Conference on Network Protocols (ICNP)

Experimental Study of Linux Flightsize Estimation

Mingrui Zhang

Master's Thesis

Symbolic ns-3 for Efficient Exhaustive Testing: Design, Implementation, and Simulations

Jianfei Shao, Minh Vu, Mingrui Zhang, Asmita Jayswal and Lisong Xu

2022 Workshop on ns-3

User-Perceived Latency to Measure CCAs

Mingrui Zhang, Vidhi Goel, Lisong Xu

2021 Internet Architecture Board, Workshop: Measuring Network Quality for End-Users

Awards

INFOCOM 2024 Student Travel Grant

2024

from NSF

Nebraska Engineering Recruitment Fellowship

2023-2025

from College of Engineering at the University of Nebraska – Lincoln