Йосиф Сіфакіс

Йосиф Сіфакіс
Ιωσήφ Σηφάκης
Народився26 грудня 1946(1946-12-26)[1] (78 років) Редагувати інформацію у Вікіданих
Іракліон[2] Редагувати інформацію у Вікіданих
КраїнаФранція Франція (з 1976)
Діяльністьінформатик, інженер, дослідник Редагувати інформацію у Вікіданих
Alma materАфінський національний технічний університет, Університет Жозефа Фур'є
Галузьінформатика
ЗакладНаціональний центр наукових досліджень
ПосадаНауковий керівник CNRSd Редагувати інформацію у Вікіданих
Науковий керівникLouis Bollietd[3] і Jean Kuntzmannd[4] Редагувати інформацію у Вікіданих
Аспіранти, докторантиStavros Tripakisd[3]
Hubert Garaveld[3]
Sergio Yovined[3]
Carlos Crego Rodríguezd[5]
Stavros Tripakisd[6]
Mohamad Jaberd[7] Редагувати інформацію у Вікіданих
ЧленствоЄвропейська академія[8]
French Academy of Technologiesd
Американська академія мистецтв і наук
Національна інженерна академія США
Французька академія наук
Національна академія наук США[9]
Association for Computing Machinery[10] Редагувати інформацію у Вікіданих
Відомий завдяки:перевірка моделей
НагородиПремія Тюрінга (2007)
Особ. сторінкаwww-verimag.imag.fr/~sifakis/
CMNS: Йосиф Сіфакіс у Вікісховищі Редагувати інформацію у Вікіданих

Йосиф Сіфакіс (грец. Ιωσήφ Σηφάκης, фр. Joseph Sifakis, 1946 рік, Іракліон, Греція) — французький вчений грецького походження в області теорії обчислювальних систем, лауреат премії Тюрінга.

Біографія

Сіфакіс народився 1946 року в Іракліоні, адміністративному центрі грецького острова Крит. Отримав електротехнічну освіту в Афінському національному технічному університеті, потім переїхав до Франції, де навчався на факультеті інформатики університету Жозефа Фур'є, отримуючи стипендію, і одержав ступінь доктора наук. 1976 року прийняв французьке громадянство. В наш час[коли?] Сіфакіс працює у дослідницькій лабораторії VERIMAG при Національному центрі наукових досліджень Франції недалеко від Гренобля, яку він заснував і якою керував із 1993 по 2006 рік.

Нагороджений 2007 року разом із Едмундом Кларком та Алленом Емерсоном премією Тюрінга за внесок у розвиток теорії перевірки моделей.

Нагороди

Примітки

  1. ↑ Чеська національна авторитетна база даних
  2. ↑ Who's Who in France — Paris: 1953. — ISSN 0083-9531; 2275-0908
  3. ↑ а б в г Математичний генеалогічний проєкт — 1997.
  4. ↑ http://tel.archives-ouvertes.fr/tel-00010517
  5. ↑ https://www.theses.fr/1988INPG0034
  6. ↑ https://www.theses.fr/1998GRE10267
  7. ↑ https://www.theses.fr/2010GRENM062
  8. ↑ https://www.ae-info.org/ae/User/Sifakis_Joseph
  9. ↑ https://www.nasonline.org/news-and-multimedia/news/2024-nas-election.html
  10. ↑ https://www.acm.org/media-center/2012/december/acm-fellows-named-for-computing-innovations-that-advance-technologies-in-information-age
  11. ↑ Архівована копія. Архів оригіналу за 21 лютого 2009. Процитовано 21 січня 2010. {{cite web}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title (посилання)
  12. ↑ Архівована копія. Архів оригіналу за 27 червня 2009. Процитовано 21 січня 2010. {{cite web}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title (посилання)

Див. також

Вікісховище має мультимедійні дані за темою: Йосиф Сіфакіс

Посилання

Read other articles:

Edison Flores

Edison Flores Edison Flores Ekuador vs Peru 2017Informasi pribadiNama lengkap Edison FloresTanggal lahir 14 Mei 1994 (umur 29)Tempat lahir Lima, PeruTinggi 170 cm (5 ft 7 in)Posisi bermain GelandangInformasi klubKlub saat ini AalborgNomor 10Karier senior*Tahun Tim Tampil (Gol)2016 – Aalborg 35 (2)Tim nasional2013 – Peru 33 (9) * Penampilan dan gol di klub senior hanya dihitung dari liga domestik Edison Flores (lahir 14 Mei 1994) adalah seorang pemain sepak bola berkew...

 

Literatur Pali

Bagian dari seri tentangBuddhisme Theravāda Kitab Tripitaka Pāli (Tipiṭaka) Parakanonika Kitab Komentar Kitab Subkomentar Visuddhimagga Abhidhammatthasaṅgaha Paritta Sejarah Sidang Buddhis Pertama (~543 SM) Buddhisme prasektarian (~543-250 SM) Sidang Buddhis Kedua (~383 SM) Sthaviravāda (~383 SM) Aliran awal (~250 SM) Sidang Buddhis Ketiga (~250 SM) Vibhajjavāda (~240 SM) Theriya Nikāya/Tambapaṇṇiya (~240 SM) Sidang Buddhis Keempat (~100 SM) Dipawamsa (~300-400 M) Mahawamsa (~500...

 

الرعاية الصحية في المملكة المتحدة

هذه المقالة بحاجة لصندوق معلومات. فضلًا ساعد في تحسين هذه المقالة بإضافة صندوق معلومات مخصص إليها. إن الرعاية الصحية في المملكة المتحدة أمر تفويضي تمتلك بواسطته كل من إنجلترا وأيرلندا الشمالية واسكتلندا وويلز أنظمتها الخاصة للرعاية الصحية الممولة من القطاع العام أو المم�...

Sinop, Turki

Sinop, secara historis dikenal dengan nama Sinope (bahasa Yunani: Σινώπη) merupakan kota yang terletak di Turki bagian utara. Penduduknya berjumlah 47.000 jiwa. Kota terletak di ujung paling utara dari sisi Turki pesisir Laut Hitam, di wilayah kuno Paflagonia, pada zaman modern Turki utara, secara historis dikenal sebagai Sinope. Kota ini merupakan ibu kota Provinsi Sinop. Artikel bertopik geografi atau tempat Turki ini adalah sebuah rintisan. Anda dapat membantu Wikipedia dengan mengem...

 

Jidbali road

This article is an orphan, as no other articles link to it. Please introduce links to this page from related articles; try the Find link tool for suggestions. (May 2020) Jidbali road is a new road which runs from Tifafleh near Las Anod Airport in the south, to Xudun towards the north. It is the main route leading from the Sool province towards Sanaag province.[1] A precursor to the tarmac existed since the nineteenth century when it was a pathway.[2] Etymology Its namesake re...

 

Copa Argentina 1969

Copa Argentina 1969 Competizione Copa Argentina Sport Calcio Edizione 1ª Organizzatore AFA Date dal 6 febbraio 1969al 27 luglio 1969 Luogo  Argentina Partecipanti 32 Risultati Vincitore  Boca Juniors(1º titolo) Secondo  Atlanta Cronologia della competizione 1970-1971 Manuale La Copa Argentina 1969 è stata la 1ª edizione del trofeo, vinta dal Boca Juniors. Il torneo è iniziato il 6 febbraio 1969 ed è terminato il 27 luglio successivo. La coppa ha visto la partecip...

CLCN1

Protein-coding gene in the species Homo sapiens CLCN1IdentifiersAliasesCLCN1, CLC1, chloride voltage-gated channel 1External IDsOMIM: 118425 MGI: 88417 HomoloGene: 63 GeneCards: CLCN1 Gene location (Human)Chr.Chromosome 7 (human)[1]Band7q34Start143,316,111 bp[1]End143,352,083 bp[1]Gene location (Mouse)Chr.Chromosome 6 (mouse)[2]Band6 B2.1|6 20.57 cMStart42,263,619 bp[2]End42,292,690 bp[2]RNA expression patternBgeeHumanMouse (ortholog)Top ex...

 

1re Panzerdivision

Pour les articles homonymes, voir 1re division. 1re Panzerdivision Emblème de la division en 1935-1940 et en 1943-1945 Création 1935 Dissolution 1945 Pays Allemagne nazie Allégeance Troisième Reich Branche Wehrmacht Type division blindée Composée de Wehrkreis IX Guerres Seconde Guerre mondiale modifier  La 1re Panzerdivision était une division blindée de la Wehrmacht, de la Seconde Guerre mondiale, créée en octobre 1935. Elle combat ainsi en Pologne en 1939, prend part à la c...

 

Ivana Wong

This biography of a living person needs additional citations for verification. Please help by adding reliable sources. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately from the article and its talk page, especially if potentially libelous.Find sources: Ivana Wong – news · newspapers · books · scholar · JSTOR (April 2010) (Learn how and when to remove this message) Ivana WongWong at the Ultimate ...

Anita Nall

American swimmer Anita NallPersonal informationFull nameNadia Anita Louise NallNational team United StatesBorn (1976-07-21) July 21, 1976 (age 47)Harrisburg, PennsylvaniaHeight5 ft 5 in (1.65 m)Weight123 lb (56 kg)SportSportSwimmingStrokesBreaststrokeClubNorth Baltimore Aquatic ClubCollege teamArizona State University Medal record Women's swimming Representing the United States Olympic Games 1992 Barcelona 4x100 m medley 1992 Barcelona 100 m breast...

 

Mauchamps

Peta infrastruktur dan tata guna lahan di Komune Mauchamps.  = Kawasan perkotaan  = Lahan subur  = Padang rumput  = Lahan pertanaman campuran  = Hutan  = Vegetasi perdu  = Lahan basah  = Anak sungaiMauchampsNegaraPrancisArondisemenÉtampesKantonÉtréchyAntarkomuneCC Entre Juine et RenardeKode INSEE/pos91378 /  Mauchamps merupakan sebuah desa kecil dan komune di département Essonne, di region Île-de-France di Prancis. Demografi Menurut sensus 199...

 

Roof pendant

Mass of rock that projects downward into and is entirely surrounded by an igneous intrusion View of Mount Kailash, Tibet (in the right distance), showing both the metasedimentary roof pendant and the underlying granite rock which caused the metamorphosis of the sediments above. In structural geology, a roof pendant, also known as a pendant, is a mass of country rock that projects downward into and is entirely surrounded by an igneous intrusion such as a batholith or other pluton. In lay termi...

Lev Leshchenko

Russian singer (born 1942) Lev LeshchenkoЛев ЛещенкоLeshchenko in 2019BornLev Valerianovich Leshchenko (1942-02-01) 1 February 1942 (age 82)Moscow, Soviet UnionAlma materRussian Academy of Theatre ArtsOccupationSingerTitlePeople's Artist of the RSFSR (1983)Awards Full cavalier of the Order For Merit to the Fatherland (Russia) Order of Friendship of Peoples (USSR) Order of the Badge of Honour (USSR) Order of Friendship (Kazakhstan) Sopot International Song Festival (Winner,...

 

Qanj Ali Khan Afshar Castle

This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources.Find sources: Qanj Ali Khan Afshar Castle – news · newspapers · books · scholar · JSTOR (February 2021) Castle in Kerman Province, Iran Qanj Ali Khan Afshar castleقلعه غنجعلیخان افشارGeneral informationTypeCastleTown or cityBaft CountyCountry Iran...

 

Israel in the Eurovision Song Contest 2015

Eurovision Song Contest 2015Country IsraelNational selectionSelection processArtist: HaKokhav HaBaSong: Internal selectionSelection date(s)Artist: 17 February 2015Song: 12 March 2015Selected entrantNadav GuedjSelected songGolden BoySelected songwriter(s)Doron MedalieFinals performanceSemi-final resultQualified (3rd, 151 points)Final result9th, 97 pointsIsrael in the Eurovision Song Contest ◄2014 • 2015 • 2016► Israel participated in the Eurovis...

Duration (philosophy)

Theory of time and consciousness posited by the French philosopher Henri Bergson Henri Bergson in 1927. Duration (French: la durée) is a theory of time and consciousness posited by the French philosopher Henri Bergson. Bergson sought to improve upon inadequacies he perceived in the philosophy of Herbert Spencer, due, he believed, to Spencer's lack of comprehension of mechanics, which led Bergson to the conclusion that time eluded mathematics and science.[1] Bergson became aware that ...

 

Vioolmuseum

Vioolmuseum Museo del violinoMuseo stradivariano (voorheen) Voorgevel en ingang van het museum Locatie Piazza Guglielmo Marconi, Cremona Coördinaten 45° 8′ NB, 10° 1′ OL Type muziekmuseum Thema violen Openingsdatum 1893 Personen Directeur Gemeente Cremona (eigenaar) Conservator Fondazione Stradivario Detailkaart Officiële website Portaal    Kunst & Cultuur Het Vioolmuseum (Italiaans: Museo del Violino, voorheen Museo stradivariano) is een museum over de viool. H...

 

Calcul mental

Représentation du calcul mental imagée. Le calcul mental consiste à effectuer des calculs sans autre support que la réflexion et la mémoire. Il s'appuie sur un certain nombre de techniques ou astuces et de résultats appris par cœur, comme les tables de multiplication ou les identités remarquables. Le calcul mental est notamment utilisé lorsque peu ou pas de matériel de calcul est disponible, mais aussi pour évaluer rapidement l'ordre de grandeur d'un résultat calculé par ailleurs...

International Short Film Festival Oberhausen

International Short Film Festival Oberhausen Internationale Kurzfilmtage OberhausenLocationOberhausen, GermanyFounded-1954 as Westdeutsche Kulturfilmtage -1959 renamed as Westdeutsche Kurzfilmtage -1991 renamed as Internationale Kurzfilmtage OberhausenFilm titlesShort filmsHosted byIKF gGmbH City of OberhausenFestival dateHeld annuallyWebsitewww.kurzfilmtage.de Festival cinema Lichtburg Oberhausen at the 2019 edition The International Short Film Festival Oberhausen, founded in 1954, is one of...

 

Black Isle's Torn

Cancelled video game For other uses, see Torn (disambiguation). Video gameBlack Isle's TornDeveloper(s)Black Isle StudiosPublisher(s)Interplay EntertainmentDesigner(s)David MaldonadoEngineLithtech 3.1Platform(s)Microsoft WindowsReleaseCancelledGenre(s)Role-playingMode(s)Single-player, multiplayer Black Isle's Torn was a role-playing video game developed for Windows by Black Isle Studios, announced on March 22, 2001, and cancelled in July of that year.[1][2] The game was to use...