[Theory] [Theory Lunch] Adrian Lehmann, Wednesday, 11/20 12-1pm, JCL 390

[Gabe Schoenbach via Theory]

Hi all — please join us this *Wednesday at 12pm* for theory lunch! Details
below:

***
*Date: *November 20, 2024, 12pm
*Location: *JCL 390

*Title: *Formal Verification - An Introduction for the Working Computer
Scientist

*Speaker: *Adrian Lehmann (UChicago)

*Abstract:* Formal verification uses computer-based proof checking for
mathematical methods to prove the correctness of programs, systems, and
general theorems. This talk introduces the fundamentals of formal
verification, focusing on theorem proving and its relevance to computer
science. We explore different approaches and applications in formal
verification, from automated approaches for software correctness to
rigorous computer-checked mathematical proof. Practical examples, case
studies, and current research, such as verified compilers and cryptographic
protocols, illustrate the power and versatility of these tools.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.cs.uchicago.edu/pipermail/theory/attachments/20241118/4c9b04b9/attachment.html>