Qiang Guo

Dr Qiang Guo is a Senior Lecturer in Computer Science at Teesside University, affiliated with the Department of Computing & Games within the School of Computing, Engineering and Digital Technologies. He holds a PhD in Computer Science from Brunel University London and has previously worked as a Research Associate/Fellow at the University of Sheffield, Robert Gordon University, and the University of Cambridge, as well as a Senior Software Engineer at MasterCard.

• PhD, Computer Science, Brunel University London (2023)
• Master, Computational Intelligence, University of Plymouth
• Bachelor, Industrial and Electrical Automation, Xi'an University of Architecture and Technology
• PGCert in Higher Education, Teesside University

His research focuses on Formal Methods in Software Engineering, particularly model-checking and testing of Distributed and Concurrent Systems. He integrates Artificial Intelligence techniques into Software Conformance Testing and explores Algorithmic Skeleton-based Parallel Computing for software engineering applications. His work addresses verification challenges in Erlang/OTP systems, extended finite state machines, and timed components.

Dr Guo’s publications highlight a trajectory in Formal Verification, Automated Testing, and Optimization Techniques. Key themes include the application of Genetic Algorithms to finite state machine testing, Process Algebra (μCRL/mCRL) for telecommunications systems, and Testability Transformations to improve structural coverage. Trends reflect interdisciplinary bridges between Software Engineering and AI.

As a Principal Investigator (PI) for the Innovate UK-funded project MC-IoT: Model Checking IoT Systems (2024-25, £31,907), he leads research in IoT system verification. He also contributed as Co-Investigator (Co-I) to the Parrot AI Enterprise Project (2023, £40k).

Dr Guo is affiliated with the Centre for Digital Innovation, where he contributes to advancing software engineering methodologies. His work involves collaboration with academic and industrial partners to address real-world challenges in system verification and distributed computing.