Ph.D. in Computer Science
2023 - Present
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
M.S. in Computer Science
2021 - 2023
B.S. in Computer Science
2016 - 2020
Experience
Graduate Research Assistant
2023 - Present
Graduate Teaching Assistant
2022 Spring
Data Structures and Algorithms (CSCE 311)
Graduate Teaching Assistant
2022 Fall
Data Modeling for Systems Development (CSCE 411/811)
Internship
July 2019
Quality Engineering Intern on Kernel General Group
Publications
Towards Accurate TCP FlightSize Estimation: A History-Aware Learning Approach
2025 IEEE International Performance, Computing, and Communications Conference (IPCCC)
Toward Non-Expert Customized Congestion Control
2025 IEEE International Conference on Communications(ICC)
Accuracy Evaluation of TCP FlightSize Estimation: Analytical and Experimental Study
2025 International Conference on Computing, Networking and Communications (ICNC)
Scalable Verification of Multi-ACK Properties in Loss-Based Congestion Control Implementations
2024 IEEE 32nd International Conference on Network Protocols (ICNP)
Experimental Study of Linux Flightsize Estimation
Master's Thesis
Symbolic ns-3 for Efficient Exhaustive Testing: Design, Implementation, and Simulations
2022 Workshop on ns-3
User-Perceived Latency to Measure CCAs
2021 Internet Architecture Board, Workshop: Measuring Network Quality for End-Users
Service
Reviewer
2026
Reviewer
2026
Awards
INFOCOM 2024 Student Travel Grant
2024
Nebraska Engineering Recruitment Fellowship
2023-2025