New Ph.D. Student Positions in 2022

Looking for new Ph.D. students to work on the following two new NSF projects on TCP.

Project 1: Efficient and Verifiable TCP

Goal: Re-design and re-implement Linux TCP with not only efficient performance but also verifable correctness.
Expected experiences: Linux Networking Kernel, Symbolic Execution, TCP.

Project 2: FPGA-based TCP

Goal: Automatically test the performance and correctness of FPGA-based TCP (and other networking protocols).
Expected experiences: FPGA, Symbolic Execution, TCP.

Professor

Prof. Lisong Xu is a professor in Computer Science and Engineering at the University of Nebraska-Lincoln. He received National Science Foundation CAREER Award. He co-designed and co-implemented TCP-CUBIC, which has been adopted by all major operating systems including Linux/Android, Microsoft Windows, and Apple OS.
Please contact me at xu@unl.edu. Please clearly describe your related experience, and attach your resume and transcripts.