My name is Shaokai Jerry Lin. I am a CS PhD candidate at the University of California, Berkeley, advised by Prof. Edward A. Lee and Prof. Sanjit A. 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

• Cyber-Physical Systems
• Real-Time 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

• [Oct. 2024] I presented “Navigating Time and Energy Trade-offs in Reactive Heterogeneous Systems” at the Time-Centric Reactive Software (TCRS) Workshop 2024.
• [May 2024] I presented “Building Deterministic and Concurrent Flight Software using Lingua Franca and PretVM” at the Flight Software Workshop 2024.
• [Sep. 2023] I presented “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.

🎤 Talks

• [NEW] [FSW 2024] Building Deterministic and Concurrent Flight Software using Lingua Franca and PretVM

  https://www.youtube.com/watch?v=OrLabT-ZGNU

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

  https://www.youtube.com/watch?v=ecMNfARim_Q&t=520s