Faculty Speaker Series: Mehmet Emre - I Don’t Need to Write Tests but You Probably Do

Please join the Computer Science for our first Faculty Speaker Series of the semester! This time Professor Mehmet Emre will give his talk I Don’t Need to Write Tests but You Probably Do. 

About the talk from Professor Emre: We will talk about Lean and formal verification, and some tools and approaches for showing a program is correct without any testing. We will also discuss any pain points these tools have and talk about how modern tooling (e.g. LLMs) can help there. I will also share my experience using Lean to build verified parsers, an ongoing project I am working on with a USF alum.