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

• Real-Time Systems
• Cyber-Physical Systems
• Embedded Systems
• Formal Methods
• Models of Computation

📚 Education

• Ph.D. in Computer Science, 2020 - Present

  University of California, Berkeley

• B.S. in Computer Science, 2016 - 2020

  Columbia University

📰 News

• [April 2022] The Uclid5 tool paper is accepted by CAV 2022.

📜 Selected Publications

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

  [Paper] [PDF]

• [FDL 2021] Debugging and Verification Tools for LINGUA FRANCA in GEMOC Studio

  Julien Deantoni, João Cambeiro, Soroush Bateni, Shaokai Lin, Marten Lohstroh

  [Paper] [PDF]

🏫 Teaching

• EECS 149/249A: Introduction to Embedded Systems (Graduate Student Instructor, Fall 2021)