A Paradigm that Unifies Programming and Verification (In Chinese)

Slides

Date
Sep 3, 2024 2:40 PM — 3:20 PM
Event
TPChina Seminar, Shanghai Jiao Tong University
Di Wang
Di Wang
Assistant Professor

My heart is in the Principles of Programming.