Joseph Sifakis, confirmed to join ISBI 2024 in Athens as a plenary speaker. Joseph Sifakis is Emeritus Research Director at Verimag, a laboratory in the area of safety critical systems and he has been a full professor at Ecole Polytechnique Fédérale de Lausanne (EPFL) during 2011-2016. In 2007, he received the Turing Award for his contribution to the theory and application of model checking, the most widely used system verification technique.
Read more about Joseph Sifakis and all ISBI 2024 plenary speakers in our Program/Keynotes section