My name is Shaokai (Jerry) Lin. I am a CS PhD student at the University of California, Berkeley, advised by Professor Edward Lee and Professor Sanjit Seshia. I am broadly interested in building verifiable cyber-physical systems (CPS).

I am also interested in entrepreneurship and have worked for a couple of startups in the past. To learn more about my experiences in detail, feel free to check out my CV. I believe in producing high-quality work in everything I do.

☎️ Contact

📧 shaokai at berkeley dot edu 🐦 Twitter 👔 LinkedIn 💻 GitHub 🎓 Google Scholar 📑 CV📍ORCID

💡 Interests

📚 Education


📰 News


📜 Selected Publications

Visit my Google Scholar for a complete list.


🏫 Teaching