معرفی
Dr Qiyi Tang is a Lecturer in the Department of Computer Science at the University of Liverpool since November 2022. Prior to this, she held postdoctoral and lecturing roles at the University of Liverpool, University of Oxford, and Imperial College London.
- PhD in Computer Science from York University, Toronto (2018)
- MSc in Computer Science from the University of Oxford (2013)
Her research focuses on software verification, probabilistic systems, and automata theory, with applications in compiler testing and formal methods. Recent work explores intersections between probabilistic models, machine learning, and optimization algorithms, particularly in model checking and automata minimization.
Scientific awards include the Governor General's Academic Gold Medal, Canada's highest student academic honor. She teaches formal methods and contributes to curriculum development in computer science.
