I’m currently pursuing my Ph.D. at Imperial College London, starting from April 2024. My research interests lie at the intersection of theoretical computer science, particularly formal methods, and control theory, with a broader emphasis on decision-making. While my primary focus is on theoretical aspects, I’m also intrigued by their practical application in autonomous systems such as robotics, autonomous driving, smart grids, and beyond.
Please feel free to reach out to me via email: c.zhou24@imperial.ac.uk.
Selected Research Topics
Find my whole pulication list at Google Scholar.