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. Stephen Edwards, Prof. Ronghui Gu, Prof. Gil Zussman, and Prof. Lior Horesh.

I am interested in building intelligent cyber-physical systems and making them verifiable, because intelligent systems like self-driving cars, robot factories, flight control systems are safety- and mission-critical.

Cyber-physical systems (CPSs) are notoriously hard to build not only because they are concurrent, real-time, and distributed, but also, problems in timing or behavior often appear only after the whole system is implemented, when it is costly or dangerous to fix them. My research develops methods to verify a system’s design in advance and then automatically produce an implementation that is correct by construction.

I am on the 2025-2026 academic job market.

Contact

📧 shaokai at berkeley dot edu

🎓 Google Scholar | GitHub | LinkedIn | CV | ORCID

Interests

Education

News

Select Talks