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.
We only publish details that can be supported by the listing or its own source. Last checked 2026-09-11.
Still needed
3 details on this page were read from en.wikipedia.org on 11 Sep 2026, not confirmed by them. Find and claim this listing to correct anything.
Claim it and this page becomes a full creator page — free.
Everything above is what a claimed creator can publish here. Nothing on this page is invented — we only show what has actually been provided.