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