Joseph Sifakis - Vikipedi

Joseph Sifakis

Doğum	26 Aralık 1946 (78 yaşında) 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

[değiştir | kaynağı değiştir]

^ 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

g t d Turing Ödülü sahipleri
1960'lar	Alan Perlis (1966) Maurice Vincent Wilkes (1967) Richard Hamming (1968) Marvin Minsky (1969)
1970'ler	James H. Wilkinson (1970) John McCarthy (1971) Edsger W. Dijkstra (1972) Charles Bachman (1973) Donald Knuth (1974) Allen Newell / Herbert A. Simon (1975) Michael O. Rabin / Dana Scott (1976) John Backus (1977) Robert W. Floyd (1978) Kenneth E. Iverson (1979)
1980'ler	Tony Hoare (1980) Edgar F. Codd (1981) Stephen A. Cook (1982) Ken Thompson / Dennis Ritchie (1983) Niklaus Wirth (1984) Richard M. Karp (1985) John Hopcroft / Robert Tarjan (1986) John Cocke (1987) Ivan Sutherland (1988) William Kahan (1989)
1990'lar	Fernando J. Corbató (1990) Robin Milner (1991) Butler Lampson (1992) Juris Hartmanis / Richard E. Stearns (1993) Edward Feigenbaum / Raj Reddy (1994) Manuel Blum (1995) Amir Pnueli (1996) Douglas Engelbart (1997) Jim Gray (1998) Fred Brooks (1999)
2000'ler	Andrew Yao (2000) Ole-Johan Dahl / Kristen Nygaard (2001) Ron Rivest / Adi Shamir / Leonard Adleman (2002) Alan Kay (2003) Vint Cerf / Bob Kahn (2004) Peter Naur (2005) Frances E. Allen (2006) Edmund M. Clarke / E. Allen Emerson / Joseph Sifakis (2007) Barbara Liskov (2008) Charles P. Thacker (2009)
2010'lar	Leslie G. Valiant (2010) Judea Pearl (2011) Shafi Goldwasser / Silvio Micali (2012) Leslie Lamport (2013) Michael Stonebraker (2014) Martin Hellman / Whitfield Diffie (2015) Tim Berners-Lee (2016) John L. Hennessy / David Patterson (2017) Yoshua Bengio / Geoffrey Hinton / Yann LeCun (2018) Ed Catmull / Pat Hanrahan (2019)
2020'ler	Alfred Aho / Jeffrey Ullman (2020) Jack Dongarra (2021) Robert Metcalfe (2022) Avi Wigderson (2023) Andrew Barto / Richard S. Sutton (2024)

Fransız bilim insanı ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz.

Otorite kontrolü	ACM DL: 81100396269 BIBSYS: 90520824 CiNii: DA03997600 DBLP: s/JosephSifakis GND: 1049200187 ISNI: 0000 0001 2147 7236 LCCN: n88237558 MGP: 122021 NKC: xx0007681 NLI: 987007442964205171 NTA: 074831267 ORCID: 0000-0003-2447-7981 RERO: A003830992 SUDOC: 060235128 VIAF: 110770950 WorldCat (LCCN): n88-237558