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

• 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

• [Sep. 2023] I am going to present “Towards Building Verifiable CPS using Lingua Franca” at EMSOFT 2023 in Hamburg, Germany. “Consistency vs. Availability in Distributed Cyber-Physical Systems” is also accepted at EMSOFT 2023.
• [May 2023] “InterPRET: a Time-predictable Multicore Processor” is accepted by TCRS 2023.
• [Jan. 2023] “Beyond the Threaded Programming Model on Real-Time Operating Systems” is accepted by NG-RES 2023.
• [Jan. 2023] “Trading Off Consistency and Availability in Tiered Heterogeneous Distributed Systems” is accepted by Intelligent Computing.
• [Apr. 2022] The Uclid5 tool paper is accepted by CAV 2022.

📜 Selected Publications

Visit my Google Scholar for a complete list.

[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]