Joseph Sifakis(1946)
Computer ScienceJoseph Sifakis is a recipient of the Turing Award (2007) from France. Their primary field is Computer Science. They were educated at Grenoble Alpes University and National Technical University of Athens. They have been affiliated with National Center for Scientific Research.
France
1
Major Awards
267
Publications
16,716
Citations
58
h-index
N/A
i10-index
62.6
Avg Citations/Paper
Awards & Recognition
2007
Most Cited Works
Top publications by citation count#1
1
citations
#2
A Comprehensive Evaluation of Four End-to-End AI Autopilots Using CCTest and the Carla Leaderboard
arXiv.org(2025)
3
citations
#3
Rigorous Simulation-based Testing for Autonomous Driving Systems - Targeting the Achilles' Heel of Four Open Autopilots
arXiv.org(2024)
6
citations
#5
Simulation-Based Validation for Autonomous Driving Systems
International Symposium on Software Testing and Analysis(2023)
21
citations
#6
Trustworthy Autonomous System Development
ACM Transactions on Embedded Computing Systems(2023)
38
citations
#8
Correct by design coordination of autonomous driving systems
International Journal on Software Tools for Technology Transfer (STTT)(2022)
3
citations
#9
A hybrid controller for safe and efficient longitudinal collision avoidance control
Journal of systems architecture(2022)
3
citations
Recent Publications
View all works1citations
Simulation-Based Validation for Autonomous Driving Systems
International Symposium on Software Testing and Analysis2023
21citations
Open AccessTrustworthy Autonomous System Development
ACM Transactions on Embedded Computing Systems2023
38citations
Open AccessTesting System Intelligence
arXiv.org2023
4citations
Open AccessCorrect by design coordination of autonomous driving systems
International Journal on Software Tools for Technology Transfer (STTT)2022
3citations
A hybrid controller for safe and efficient longitudinal collision avoidance control
Journal of systems architecture2022
3citations
What perceptron neural networks are (not) good for?
Information Sciences2022
4citations
Career History
Researcher
Université Grenoble Alpes
Saint-Martin-d'Hères, FR
External Profiles
Co-winners
Shared the same award in the same year
Education
Grenoble Alpes University
National Technical University of Athens
Doctoral Advisors
Carlos Crego RodríguezStavros TripakisMohamad JaberHubert GaravelSergio YovineJean KuntzmannLouis Bolliet
Career Timeline
National Center for Scientific Research?–present
Swiss Federal Institute of Technology in Lausanne?–present
Positions & Roles
Director of Research at CNRS
Top Publications
Autonomics: In search of a foundation for next-generation autonomous systems
Proceedings of the National Academy of Sciences202049 citations
Trustworthy Autonomous System Development
ACM Transactions on Embedded Computing Systems202330 citations
Creating a Foundation for Next-Generation Autonomous Systems
IEEE Design & Test20227 citations
Correct by Design Coordination of Autonomous Driving Systems
Lecture Notes in Computer Science20225 citations
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework
Lecture Notes in Computer Science20222 citations
Related Laureates
Other winners of the same award(s)
GB
Gilles Brassard
Turing Award (2025)
GE
Geoffrey E. Hinton
Nobel Prize in Physics (2024)
VC
Vint Cerf
Presidential Medal of Freedom (2024)
AS
Adi Shamir
Wolf Prize in Mathematics (2024)
AB
Andrew Barto
Turing Award (2024)
RS
Richard Sutton
Turing Award (2024)
AW
Avi Wigderson
Turing Award (2023)
Yoshua Bengio
Princess of Asturias Award (2022)
Data Sources
Profile data aggregated from Semantic Scholar, Wikidata, ORCID, and curated award records. Citation metrics may vary between sources.