My name is Shaokai Lin. I am a CS PhD candidate at the University of California, Berkeley, advised by Prof. Edward A. Lee and Prof. Sanjit A. Seshia.
Before PhD, I was a undergraduate student at Columbia University, where I collaborated with Prof. Gil Zussman, Prof. Stephen Edwards, Prof. Ronghui Gu, and Prof. Lior Horesh.
Cyber-physical systems (CPS)—such as self-driving cars, humanoid robots, smart factory assemblies, and flight control systems—take a lot of time and resources to build because they are safety-critical, concurrent, real-time, and distributed.
I aim to empower CPS engineers with a neurosymbolic framework, providing abstractions and tools to generate deterministic, verifiably correct, and high-performance systems.
I am on the 2025-2026 academic job market.
📧 shaokai at berkeley dot edu
🎓 [CV] [Scholar] [GitHub] [LinkedIn] [ORCID]
Cyber-Physical Systems, Formal Methods, Distributed Systems, Real-Time Systems