ジョセフ・シファキス
1 2 (Eleftherotypia - 05 Feb 2008) Ελληνας ερευνητής πήρε το βραβείο Νόμπελ της πληροφορικής Archived 2008年2月7日, at the Wayback Machine. (ギリシア語)
↑ (Kathimerini - 04 Feb 2008) Το βραβείο Turing 2007 σε Έλληνα ερευνητή Archived 2011年7月16日, at the Wayback Machine. (ギリシア語)
↑ Modèles temporels des systèmes logiques ("Temporal models of logic systems"), Université scientifique et médicale de Grenoble, 1976, under the supervision of Jean Kuntzmann
↑ Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique ("Control of asynchronous systems: concepts, properties, static analysis"), USMG and INPG, 1979 under the supervision of Louis Bolliet
↑ 当時、フランスには博士号が2段階あって、上位の doctorat d'état ("state doctorate") は教授職を得るのに必要だった。