Joseph Sifakis Yunanca kökenli Fransız bilim insanı bilgisayar sistemleri teorisi alanında Ülke: Yunanistan

İçindekiler:

1. Erken Yaşam ve Eğitim
2. Fransız Vatandaşlığı ve Araştırma Kariyeri
3. Turing Ödülü

Erken Yaşam ve Eğitim

Joseph Sifakis, bilgisayar biliminde tanınmış Yunan asıllı Fransız bilim insanı, 1946 yılında Yunanistan’ın Girit adasındaki Heraklion şehrinde doğmuştur. Akademik çalışmalarına Atina Ulusal Teknik Üniversitesi’nde elektrik mühendisliği okuyarak başlamıştır. Daha sonra, Fransa’ya taşınarak Grenoble’deki Joseph Fourier Üniversitesi’nde bilgisayar bilimi alanında burs desteğiyle doktora yapmıştır.

Fransız Vatandaşlığı ve Araştırma Kariyeri

1976 yılında Sifakis Fransız vatandaşlığını kabul etmiştir. Saygın kariyeri, Grenoble’de Fransa Ulusal Bilimsel Araştırma Merkezi’ne bağlı VERIMAG araştırma laboratuvarında şekillenmiştir. 1993-2006 yılları arasında laboratuvarın kurucu ve direktörü olarak görev yapmıştır.

Turing Ödülü

Edmund Clarke ve Allen Emerson ile birlikte 2007 yılında Joseph Sifakis, değerli Turing Ödülü’ne layık görülmüştür. Bu ödül, programların doğrulanmasında son derece önemli olan model denetimi tekniğinin gelişimine yaptıkları önemli katkıları tanımaktadır. Model denetimi, yazılım ve donanım tasarımının karmaşık süreçlerinde yaygın olarak kullanılan çok değerli bir tekniktir.