Type Theory Forall

How can we be sure that our code is doing what is supposed to be doing? And this is the role of formal verification at large: A Discipline to trust that the code is doing what it is supposed to do.

Shriram has devoted his Career to advance the teaching of programming of programming languages. he is a professor at Brown, The author / co-author of different books about this, and a major contributo