677111 event 1727298247 1727305597 <![CDATA[Joseph Sifakis, Ph.D. - 2024 Turing Minds Series]]> 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.

 

 

 

]]> Sifakis is a renowned computer scientist and the 2007 Turing Award recipient.

]]> 675115 image <![CDATA[JosephSifakis_2011.jpg]]> 258709 image/jpeg <![CDATA[]]> https://lu.ma/5zign4v1 66244 1795 1051