Bio: Hi! I’m Cheng, a new graduate student in the Department of Aeronautics and Astronautics at MIT. I received my B.Eng in Computer Science from Tsinghua University, also known as Yao Class. My research interests lie in the domains of verification of autonomous systems and safe control via learning techniques. Besides above research interests, I also enjoy singing, playing tennis and baseball.