Qiang Wu

Qiang Wu began their work experience as a Teaching Assistant at Xi'an Jiaotong University from 2009 to 2010. They then worked as a Research Assistant at The University of Hong Kong in 2014. In 2015, Qiang Wu was a Guest Research Associate at Kyoto University for a brief period. From 2016 to 2021, they served as a Senior Engineer in System Algorithms at ASTRI - Hong Kong Applied Science and Technology Research Institute. Presently, Qiang Wu holds the position of Principal Engineer in System Algorithms since 2022 at the same institute.

Qiang Wu obtained their Bachelor of Science (B.S.) degree in Information and Computing Science from Xi'an Jiaotong University in 2008. Qiang then pursued a Bachelor of Management degree with a minor in Accounting, also from Xi'an Jiaotong University, from 2006 to 2008. Afterwards, Qiang completed their Master of Science (M.S.) degree in Mathematics at Xi'an Jiaotong University from 2008 to 2011. Qiang'seducational journey culminated with a Doctor of Philosophy (PhD) in Model Checking of Hybrid Systems from the University of Chinese Academy of Sciences, where they studied from 2011 to 2017.