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