Hongyang Qu

Hongyang Qu is a Principal Engineer at Arm, specializing in formal verification methodology and software testing. They have extensive experience in developing verification tools and techniques, having previously held roles as a Formal Verification Lead and Senior Engineer at Arm, as well as a Senior Research Fellow at the University of Sheffield focused on multi-agent systems. Hongyang earned a PhD in Software Verification/Model Checking from the University of Warwick and has worked at various prestigious institutions, including the University of Oxford and Imperial College London, contributing to significant European research projects. Their research interests encompass formal methods, concurrency theory, and model checking.