Shaokai (Jerry) Lin
@shaokai_lin
CS Ph.D. student @UCBerkeley, Columbia '20. Building verifiable cyber-physical systems. Hoping to help humans explore deep space.
You might like
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
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
youtube.com
YouTube
10-Minute Demonstration of Lingua Franca
United States Trends
- 1. #WWERaw 34.7K posts
- 2. John Cena 29.9K posts
- 3. Packers 38.4K posts
- 4. Packers 38.4K posts
- 5. #GoPackGo 4,066 posts
- 6. #RawOnNetflix N/A
- 7. GRAND SLAM CENA 2,417 posts
- 8. Jalen 13.4K posts
- 9. Cade Horton 1,032 posts
- 10. Drake Baldwin 4,525 posts
- 11. Go Birds 17K posts
- 12. Tush Push 8,958 posts
- 13. Shipley N/A
- 14. Dirty Dom 1,363 posts
- 15. Triple H 4,899 posts
- 16. Monday Night Football 5,909 posts
- 17. FINE SPEECH 1,470 posts
- 18. Christian Watson N/A
- 19. Quinyon 1,302 posts
- 20. Green Bay 9,536 posts
You might like
-
Jesse Zhang
@Jesse_Y_Zhang -
Deger Turan
@degerturann -
Kaien Yang
@kaien_yang -
Jiequn Han
@JiequnH -
Yitao Long/Yi-Tao LONG Lab
@YTLong_Chem -
Honglin Chen
@honglin_c -
Kendrick Shen
@kendrick_shen -
Andrew Van Nest
@TheNestVC -
Zizhang Li
@zizhang_li -
Linqi (Alex) Zhou
@linqi_zhou -
Fahim Tajwar
@FahimTajwar10 -
River Dillon
@k__monk -
Anxhelo Xhebraj
@0xA95 -
Zilu Tang (Peter)
@Zilu_Tang_Peter
Something went wrong.
Something went wrong.