Creator · THE ZOI CREATOR SERIES
Joseph Sifakis
Cretan-born computer scientist who won the 2007 ACM Turing Award (the Nobel Prize of computing) for founding the field of model checking, an algorithmic method for verifying that systems satisfy formal specifications; founder of Verimag laboratory in France.
JS
A GOOD IDEA STARTS WITH A HELLO
Something in mind?
Prepare a proposal based on this creator’s published offerings or describe your own idea. Review it, then choose how to contact Joseph Sifakis.
Your draft stays in this page. Nothing is sent automatically, and no availability, rates or collaboration are assumed.
Official websiteFor creators on Zoi
Manage your own home design ↗Authorized owners can manage their own enquiries and Creator Studio briefs. Tool availability depends on this creator’s workspace setup.THE PERSON BEHIND THE PROFILE
About Joseph Sifakis
Cretan-born computer scientist who won the 2007 ACM Turing Award (the Nobel Prize of computing) for founding the field of model checking, an algorithmic method for verifying that systems satisfy formal specifications; founder of Verimag laboratory in France.
STAY IN THE CONVERSATION
Same creator.
Your favourite corner.