Shanghai Jiao Tong University is a prominent Chinese research institution with a rich history, renowned for its engineering, computer science, and medical research contributions.
Standalone lectures, seminars, and public talks.
This ICFP 2026 functional pearl explores a method for transferring invariants from abstract algorithm descriptions to concrete implementation proofs, streamlining verification of complex code.
Professors, researchers, and invited lecturers recorded at Shanghai Jiao Tong University.
Browse, filter, and sort every lecture from Shanghai Jiao Tong University.
