Joseph Sifakis
Joseph Sifakis | |
|---|---|
 | |
| Doğum | 26 Aralık 1946 Girit, Yunanistan |
| Vatandaşlık | Fransa, Yunanistan |
| Eğitim | Atina Ulusal Teknik Üniversitesi Université Grenoble-Alpes |
| Ödüller | Turing Ödülü (2007) |
| Kariyeri | |
| Dalı | Bilgisayar bilimi |
| Çalıştığı kurumlar | CNRS |
Joseph Sifakis (Yunanca: Ιωσήφ Σηφάκης), Fransız-Yunan bilgisayar bilimcisi.[1] Edmund M. Clarke ve E. Allen Emerson ile birlikte gerçekleştirdiği model denetimi çalışmasıyla 2007 Turing Ödülü'nü almaya hak kazanmıştır. Atina Ulusal Teknik Üniversitesi Elektrik Mühendisliği Bölümü mezunudur.
Kaynakça
- ^ Aperçu historique de l’immigration grecque à Grenoble 23 Temmuz 2012 tarihinde Wayback Machine sitesinde arşivlendi., Evangélia Moussouri, Écarts d'identités 95-96, ISSN 1252-6665, Musée Dauphinois, 2-905375-08-6
 | Fransız bilim insanı ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |
Kategori:
- Fransız bilim insanı taslakları
- 1946 doğumlular
- Girit doğumlular
- Yaşayan insanlar
- Yunan akademisyenler
- Yunan bilgisayar bilimcileri
- Fransız bilgisayar bilimcileri
- Turing Ödülü sahipleri
- Atina Ulusal Teknik Üniversitesi'nde öğrenim görenler
- Grenoble Alpleri Üniversitesi'nde öğrenim görenler
- Fransa'daki Yunan göçmenler
- 20. yüzyıl Fransız bilim insanları