My name is Shaokai Jerry Lin. I am a CS PhD candidate at the University of California, Berkeley, advised by Prof. Edward Lee and Prof. Sanjit Seshia. I am interested in building dependable cyber-physical systems (CPS) with hard real-time constraints and high levels of criticality.

Previously, I was a CS undergraduate student at Columbia University, where I had the chance to collaborate with Prof. Stephen Edwards, Prof. Ronghui Gu, Prof. Gil Zussman, and Prof. Lior Horesh.

I hope my work can propel human civilization to new heights, ultimately enabling humanity to traverse the cosmos and explore the mysteries of the stars.

☎️ Contact

📧 shaokai at berkeley dot edu

🎓 Google Scholar 🐦 Twitter 👔 LinkedIn 💻 GitHub 📑 CV📍ORCID

💡 Interests

📚 Education

📰 News

📜 Selected Publications

Visit my Google Scholar for a complete list.

Screenshot 2024-04-09 at 6.29.51 PM.png

[NEW] [EMSOFT 2023] Towards Building Verifiable CPS using Lingua Franca

Shaokai Lin, Yatin A Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A Lee, Sanjit A Seshia

[Paper] [PDF] [Talk]

Hosted at Hostnotion – custom domains for Notion