event
Joseph Sifakis, Ph.D. - 2024 Turing Minds Series
Primary tabs
Joseph Sifakis, Ph.D., is a renowned computer scientist and the 2007 Turing Award recipient. He is recognized for his groundbreaking work on formal system verification 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.
This is a virtual event. RSVPing guarantees that you receive a Teams link before the call starts. The event won't be recorded.
Turing Minds is an annual event that brings together the brightest minds in computer science. Named after Alan Turing, the father of computer science, this series features talks from Turing Award winners who share their groundbreaking research and insights into the future of technology.
Media
Summary
Sifakis is a renowned computer scientist and the 2007 Turing Award recipient.
Groups
Status
- Workflow Status:Published
- Created By:ymrv3
- Created:09/25/2024
- Modified By:ymrv3
- Modified:09/25/2024
Categories
Keywords
Target Audience