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.
📧 shaokai at berkeley dot edu 🐦 Twitter 👔 LinkedIn 💻 GitHub 🎓 Google Scholar 📑 CV📍ORCID
Ph.D. in Computer Science, 2020 - Present
University of California, Berkeley
B.S. in Computer Science, 2016 - 2020
Visit my Google Scholar for a complete list.
[NEW] [CAV 2022] UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A Manerkar, Federico Mora, Sanjit A Seshia
[FDL 2021] Debugging and Verification Tools for LINGUA FRANCA in GEMOC Studio
Julien Deantoni, João Cambeiro, Soroush Bateni, Shaokai Lin, Marten Lohstroh