Generate a tailored SOP for Dr. Tianyin Xu. Improve your application with a focused, well-structured draft.
Tianyin Xu is an Assistant Professor in the Siebel School of Computing and Data Science at the University of Illinois. His research focuses on formal specification languages and the design and verification of concurrent and distributed systems. Xu's notable achievements include winning the 2025 GenAI-accelerated TLA+ Challenge, sponsored by the TLA+ Foundation and NVIDIA, alongside his team. His work on the paper 'CXLfork: Fast Remote Fork CXL Fabrics' received the ASPLOS 2025 Paper Award. Additionally, he has been recognized with the 2024 Dean’s Award for Excellence in Research at the Grainger College of Engineering. Xu has contributed to various initiatives, such as participation in multiple papers presented at Mobicom 2023, showcasing innovative topics in satellite networking and mobile app testing.
University of Illinois • Champaign, IL
Teaching and conducting research in computer science, focusing on formal methods and system design.
GRE is optional for admission to all graduate programs in Statistics. Full status admission requires higher language scores than limited status.