Home Page | Ritas

The Director of Research Institute of Trustworthy Autonomous Systems (RITAS)

Distinguished Visiting Professor

Joseph Sifakis

Joseph Sifakis is the director of Research Institute of Trustworthy Autonomous Systems (RITAS), distinguished visiting professor of department of computer science and engineering in SUSTech and the principal advisor of Turing class. The main focus of his work is on the formalization of system design as a process leading from given requirements to trustworthy, optimized and correct-by-construction implementations. He is the founder of the Verimag laboratory in Grenoble，which is leader in embedded systems. In 2007, he received the Turing Award for his contribution to the theory and application of model checking, the most widely used system verification technique today. He is a member of the French Academy of Sciences, a member of the French National Academy of Engineering and a member of Academia Europaea and a member of the American Academy of Arts and Sciences and a member of the National Academy of Engineering, and a foreign Member of Chinese Academy of Sciences , international member of U.S. National Academy of Sciences.

Enterprise Cooperation

Joint Laboratory

Collaborative Projects

Membership Application

Research Progress

A Trusted Feature Extraction Method for Pathology Data

High Performance Computing and Image Processing under Complex Conditions

Autonomous Driving-Research Progress

The Autonomous Driving Research Center conducts research on many key scientific problems including 1. Modeling of learning-based perception systems, 2. Formal modeling of decision-making and planning systems, 3.Trustworthiness design and validation of autonomous driving systems, 4, Trustworthy testing and evaluation system design for autonomous systems. The technical developement if the center has been focusing on the trustworthiness mechanisms of autonomous driving systems, the design and analysis of trustworthy autonomous driving systems, and high-trustworthy datasets and simulation evaluation platforms. The center has achieved breakthroughs in common key technologies such as the trustworthy design and verification technoliogies of autonomous driving systems, and the integration of simulation and datasets for reliable autonomous driving. The related research have been recognized by the Shenzhen Science and Technology Award, the CCF Award, and two Best Paper Awards at two international academic conferences. The key technologies have been applied by leading companies in autonomous driving.

Trustworthy Software-Research Progress

The Trustworthy Software Research Center has been conducting research along the following four directions: 1) Software vulnerability analysis and detection techniques, 2) Software testing theories and techniques, 3) Automated software vulnerability repair theories and techniques, and 4) Modeling and simulation techniques for autonomous systems. The center has published more than 50 papers in international journals and conferences, applied for 10 patents, and secured 15 research projects at the national, provincial, municipal levels, as well as from leading IT companies. The developed technologies have been deployed and applied in companies such as Tencent, Huawei, and PopSquare.

Smart City-Research Progress

The research team focuses on building a credible and interpretable model for heterogeneous data, integrating various human mobility data sources, solving issues of information scarcity and privacy protection in independent data sources. At the same time, the team combines machine learning theory with other domain knowledges to propose new theoretical methods and models to support in topics such as emergency management, transportation, energy, and epidemiology.