Зміст
11 відносини: Крит, Премія Тюрінга, Перевірка моделі, Афінський національний технічний університет, Національний центр наукових досліджень, Франція, Греція, Гренобль, Іракліон, Ернест Аллен Емерсон, Едмунд Кларк.
- Випускники Афінського технічного університету
Крит
Острів Крит (Νησί Κρήτη) — п'ятий за величиною острів у Середземному морі і найбільший острів Греції.
Переглянути Йосиф Сіфакіс і Крит
Премія Тюрінга
Премія Тюрінга (Turing Award) — найпрестижніша премія в галузі інформатики, щорічно присуджується Асоціацією обчислювальної техніки за видатні досягнення у цій галузі.
Переглянути Йосиф Сіфакіс і Премія Тюрінга
Перевірка моделі
Перевірка моделі або перевірка властивості полягає у вичерпній і автоматичній перевірці чи задана модель певної системи відповідає заданій специфікації.
Переглянути Йосиф Сіфакіс і Перевірка моделі
Афінський національний технічний університет
Афінський національний технічний університет (Εθνικό Μετσόβιο Πολυτεχνείο), часто назву скорочують до Афінська політехніка, або Політехніон — один з найстаріших та найпрестижніших вищих навчальних закладів Греції.
Переглянути Йосиф Сіфакіс і Афінський національний технічний університет
Національний центр наукових досліджень
Національний центр наукових досліджень (НЦНІ) Франції (Centre National de la Recherche Scientifique, CNRS) — провідна наукова установа Франції.
Переглянути Йосиф Сіфакіс і Національний центр наукових досліджень
Франція
Фра́нція, офіційна назва Францу́зька Респу́бліка (La France, République française) — держава на заході Європи, республіка, що межує на північному сході з Бельгією, Люксембургом і Німеччиною, на сході з Німеччиною, Швейцарією, південному-заході з Іспанією й Андоррою, на південному-сході з Італією та Монако на півдні омивається Середземним морем, на заході — Атлантичним океаном.
Переглянути Йосиф Сіфакіс і Франція
Греція
Гре́ція (Ελλάδα — Еллада), офіційна назва Гре́цька Респу́бліка (Ελληνική Δημοκρατία) — європейська держава на півдні Балканського півострова та численних островах.
Переглянути Йосиф Сіфакіс і Греція
Гренобль
Грено́бль, також Ґренобль (Grenoble) — місто та муніципалітет на південному сході Франції, у регіоні Рона-Альпи, адміністративний центр департаменту Ізер.
Переглянути Йосиф Сіфакіс і Гренобль
Іракліон
Іра́кліон (Ηράκλειο), або Геракліон, давня назва Кандія — столиця Криту та одне з найбільших міст Греції, адміністративний центр ному Іракліон.
Переглянути Йосиф Сіфакіс і Іракліон
Ернест Аллен Емерсон
Ернест Аллен Емерсон (Ernest Allen Emerson 2 червня 1954) — американський науковець в галузі теоретичної інформатики та верифікації, лауреат премії Тюрінга.
Переглянути Йосиф Сіфакіс і Ернест Аллен Емерсон
Едмунд Кларк
Едмунд Кларк (Edmund Clarke 27 липня 1945) — американський науковець в галузі теоретичної інформатики та верифікації, лауреат премії Тюрінга.
Переглянути Йосиф Сіфакіс і Едмунд Кларк