- D-405 (D-Block Seminar Room)
Abstract: Concurrent software is everywhere. Ensuring reliability of concurrent software is a daunting task. In this talk, I will present the basics of verification, what is so hard about concurrency, and recent efforts to tame the problem. The talk will also include some of my past works in the topic and one of my current projects.