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.

Before PhD, I was a undergraduate student at Columbia University, where I collaborated with Prof. Stephen Edwards, Prof. Ronghui Gu, Prof. Gil Zussman, and Prof. Lior Horesh.

I am interested in building ultra-reliable, intelligent machines that make Earth a better place for everyone and enables mankind to explore the universe.

Contact

📧 shaokai at berkeley dot edu

🎓 Google Scholar 💻 GitHub 👔 LinkedIn 📑 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, 2017 - 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.

Select Talks

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