Joseph Sifakis

賞

1. 2007

   チューリング賞

   情報科学

   for their role in developing model checking into a highly effective verification technology that is widely adopted in the hardware and software industries