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 high-performing, intelligent systems that are predictable and formally verifiable. My PhD work focuses on bringing these properties to safety-critical systems, including self-driving cars and aerospace. Today, I extend this vision to neurosymbolic AI (see OMAR and PolyVer).
Overall, I aim to explore the universe, engage the world, and enjoy life.
📧 shaokai at berkeley dot edu
🎓 [Scholar] [GitHub] [LinkedIn] [CV] [ORCID]
🔍 Neurosymbolic AI, where AI meets formal methods
⏱️ Deterministic middleware for real-time distributed systems
🛠️ Compiler engineering for domain-specific languages