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.
📧 shaokai at berkeley dot edu
🎓 Google Scholar 💻 GitHub 👔 LinkedIn 📑 CV 📍ORCID
Ph.D. in Computer Science, 2020 - Present
University of California, Berkeley
B.S. in Computer Science, 2017 - 2020
Columbia University
[FSW 2024] Building Deterministic and Concurrent Flight Software using Lingua Franca and PretVM
[EMSOFT 2023] Towards Building Verifiable CPS using Lingua Franca