My name is Shaokai Lin. I graduated from the CS PhD program at UC Berkeley, advised by Prof. Edward A. Lee and Prof. Sanjit A. Seshia.

I enjoy building safe, intelligent systems that are (i) verifiable and (ii) performant.

My PhD thesis brings the above properties to real-time distributed systems, which include self-driving cars, robotics, and aerospace.

Before PhD, I was a undergraduate student at Columbia University, where I collaborated with Prof. Stephen Edwards, Prof. Ronghui Gu, Prof. Gil Zussman, and Prof. Lior Horesh.

Contact

📧 shaokai at berkeley dot edu

🎓 [Scholar] [GitHub] [LinkedIn] [CV] [ORCID]

Areas

🔍 Formal methods with AI

🛠️ Compiler engineering for domain-specific languages

⏱️ Middleware for real-time, distributed systems

News

• [May 2026] I completed my PhD thesis! Read it here.
• [Nov. 2025] I gave a talk on “PolyVer: A Compositional Approach for Polyglot System Modeling and Verification” at AISoLA 2025.
• [Sep. 2025] “Quasi-Static Scheduling for Deterministic Timed Concurrent Models on Multi-Core Hardware” is accepted to present at EMSOFT 2025 in Taipei.
• [July 2025] “PolyVer: A Compositional Approach for Polyglot System Modeling and Verification” is accepted to present at FMCAD 2025 in Menlo Park, CA.