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 build safe, intelligent systems that are (i) formally verifiable and (ii) high-performance.
My PhD thesis brings these two properties to real-time distributed systems, with applications including 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.
📧 shaokai at berkeley dot edu
🎓 [Scholar] [GitHub] [LinkedIn] [CV] [ORCID]
🔍 Formal methods with AI
🛠️ Compiler engineering for domain-specific languages
⏱️ Deterministic middleware for real-time distributed systems