History


2026

Acceptance of RITAS Construction Project


2024

Professor Qi Hao serves as Executive Director (in April);Mid-term acceptance of RITAS (in September)


2021

Management Committee Meeting of RITAS was hold to begin the construction of several research centres


2020

RITAS officially established, with Professor Sifakis serving as Director and Professor Xin Yao  serving as Executive Director


2019

Shenzhen Municipal Party Committee Secretary Wang Weizhong awarded RITAS, which was recognized as one of the top ten "Nobel Prize Laboratories" in Shenzhen


2018

Professor Sifakis visited SUSTech to discuss his application to RITAS


2007

Professor Sifakis has been awarded the Turing Award for his research on model checking and embedded system design and verification