Staff Lead researchers Dr Chao Huang Associate Professor Research interests Reinforcement Learning Formal Methods Design Automation for Cyber Physical Systems Connect with Chao Email: [email protected] Research outputs