shaokai_lin's profile picture. CS Ph.D. student @UCBerkeley, Columbia '20. Building verifiable cyber-physical systems. Hoping to help humans explore deep space.

Shaokai (Jerry) Lin

@shaokai_lin

CS Ph.D. student @UCBerkeley, Columbia '20. Building verifiable cyber-physical systems. Hoping to help humans explore deep space.

How to effortlessly incorporate formal verification into the design of cyber-physical systems, such as self-driving cars? I recently presented a paper at EMSOFT'23, titled "Towards Building Verifiable CPS using Lingua Franca." youtu.be/ecMNfARim_Q?si… via @YouTube

shaokai_lin's tweet card. EMSOFT 1

youtube.com

YouTube

EMSOFT 1


"Creativity" is constantly being redefined by machines in this day and age.

It had to happen: Generating video from a textual description or from a photo. From Meta-FAIR makeavideo.studio



Love this short video about Leslie Lamport, a true first principles thinker based on mathematics. youtu.be/rkZzg7Vowao


It's been a pleasure to work with Prof. Edward Lee (@LeeEdwardA) and create this 10-minute demonstration of Lingua Franca, a coordination language for deterministic concurrent systems. Enjoy :) youtu.be/UZ1P70Rz5sY

shaokai_lin's tweet card. 10-Minute Demonstration of Lingua Franca

youtube.com

YouTube

10-Minute Demonstration of Lingua Franca


Loading...

Something went wrong.


Something went wrong.