Saad Mohammad Rafid Pial

Incoming MSCS Student@UIUC · AI for Systems

About Me

Hi, I am Pial. I am an incoming MSCS student at the University of Illinois Urbana-Champaign, starting in August 2026, where I will work in Professor Tianyin Xu's lab. My research spans AI for systems, site reliability engineering, and formal methods, including SREGym and Specula. Previously, I worked as a Software Engineer at Monsha.AI, building AI-powered tools for educators. I earned my BSc in Computer Science and Engineering from the Bangladesh University of Engineering and Technology (BUET).

You're beautiful as you are, Courage. With all your imperfections, you can do anything.

— Courage the Cowardly Dog

Research Interests

AI for SystemsSite Reliability EngineeringCloud ReliabilityFormal Methods

My research focuses on AI agents that can reason about, verify, diagnose, and repair complex software systems. I contribute to SREGym, a live benchmark for evaluating AI agents on realistic cloud incidents, and Specula, an autonomous system for generating formal specifications and model-checking system code.

News and Updates

Aug 2026

Starting my MS in Computer Science at UIUC

Jul 2026

Our paper EduPresenta was published at HCII 2026

May 2026

Our paper SREGym: A Live Training Ground for AI SRE Agents with High-Fidelity Failure Drills was published as a system demonstration at ACM CAIS 2026

Jul 2025

Our paper NuevAI was published at CHItaly 2025

May 2025

Began research internship at Professor Tianyin Xu's lab at UIUC

Apr 2025

We got featured on Illinois CS News for SREGym

Mar 2025

Graduated with a BSc in Computer Science and Engineering from BUET