As part of Shenzhen Talent Day and SUSTech receiving its fourth consecutive “Talent Bole Award,” Distinguished Professor Joseph Sifakis of the Department of Computer Science and Engineering (CSE) at Southern University of Science and Technology (SUSTech) unveiled the Research Institute of Trustworthy Autonomous Systems (RITAS). Shenzhen Municipal Party Committee Secretary Wang Weizhong presented the plate to Professor Sifakis (Turing Award winner), in front of Shenzhen Mayor Chen Rugui, SUSTech President Chen Shiyi and other high-ranking officials from SUSTech and the Shenzhen government.

Professor Sifakis is a member of the French Academy of Sciences, the French National Academy of Engineering, the European Academy of Sciences, the American Academy of Arts & Sciences and the National Academy of Engineering (USA). He has long been engaged in a wide range of computer science fields such as rigorous system design, component-based construction, and model checking, in which he has made original and pioneering achievements. He won the Turing Award in 2007 for his contribution to the theory and application of model checking, the most widely used system verification technique today.

The Sifakis Research Institute of Trustworthy Autonomous Systems (RITAS) seeks to cover cutting-edge fields such as computational intelligence, trusted software, autonomous driving, smart cities, and intelligent healthcare. Embedded with the Department of Computer Science and Engineering (CSE), it will develop a new generation of Artificial Intelligence (AI) applications while collaborating with the Shenzhen Key Laboratory of Computational Intelligence. The resultant research will ultimately contribute to the cultivation of high-end scientific and technological talent, Shenzhen’s technical improvement, and the dual development of Shenzhen and the Greater Bay Area.