From the Online Master's of Computer Science at Georgia Tech (OMSCS) Turing Minds Speaker Series, hosted by Parsa Khazaeepoul and Zack Axel.
More info at turing.rsvp/
More info on this specific event at www.turing.rsv...
Dr. Joseph Sifakis is a pioneering computer scientist and 2007 Turing Award recipient, sharing the honor with Edmund M. Clarke and E. Allen Emerson. His groundbreaking work on formal verification of systems and the development of model checking has revolutionized the field of computer-aided verification. Dr. Sifakis's contributions have fundamentally transformed how we ensure the reliability and security of software and hardware systems, setting new standards for system design and verification that continue to shape the industry today.
Негізгі бет Questions & Answers with Dr. Joseph Sifakis - Turing Minds 2024
Пікірлер