Dr. Joseph Sifakis
Registration
Past Event
About Event
Dr. Joseph Sifakis is a renowned computer scientist and 2007 Turing Award recipient. He is recognized for his groundbreaking work on formal verification of systems and the development of model checking. His contributions have significantly advanced the field of computer-aided verification, enabling more reliable and secure software and hardware systems.
Format
Virtual VIA teams. The speaker will present, then we will open the call to questions and comments. RSVPing guarantees that you receive a teams link before the call starts.
Important Reminder
After RSVPing, click "add to calendar". Calls will not be recorded by request of Speaker Series & Turing Award winners.