The National Academy of Sciences (NAS) of the United States recently announced the election of 120 members and 24 international members in recognition of their distinguished and continuing achievements in original research.

Among them, Joseph Sifakis, Distinguished Visiting Professor of the Southern University of Science and Technology (SUSTech), was elected as an international member of NAS.

Joseph Sifakis is a member of the French Academy of Sciences, the French National Academy of Engineering, Academia Europea, and the American Academy of Arts and Sciences.

With a career dedicated to research in software engineering, embedded systems, and formal verification, he has achieved original and pioneering breakthroughs in these fields. His contributions include the development of novel theories and methodologies in model checking, effectively applied in industry for real-time system security verification.

In 2007, he was honored with the Turing Award by the Association for Computing Machinery (ACM) for his outstanding contributions to model checking theory and practice.

Joining SUSTech in 2019 as a Distinguished Visiting Professor within the Department of Computer Science and Engineering, Joseph Sifakis also holds the position of Dean of the Research Institute of Trustworthy Autonomous Systems (RITAS).

RITAS, under Professor Joseph Sifakis’s leadership, spearheads research in trusted intelligent autonomous systems, exploring key frontiers such as computational intelligence, trusted software, autonomous driving, smart cities, and smart healthcare. Through pioneering research in cutting-edge artificial intelligence technologies, RITAS aims to foster the development of scientific and technological talent and contribute to the industrial advancement of Shenzhen.

Related link: https://www.nasonline.org/news-and-multimedia/news/2024-nas-election.html