Kirill Bogdanov

Dr. Kirill Bogdanov is a Lecturer in the Department of Computer Science at the University of Sheffield, UK. He completed his PhD in 2000 on specification-based software testing using X-machines and Statecharts. Before his current role, he worked as a Research Associate on the MOTIVE project, focusing on testing object-oriented systems.

Education:

• PhD in Computer Science, University of Sheffield (2000)
• Research focused on applying X-machine testing methods to Statecharts specifications

Research Interests:

• Specification-based testing methodologies
• X-machine formalisms and their applications
• Automated model inference from software code
• Passive inference of software models from logs
• Formal methods for safety-critical systems

Grants & Projects:

• PI on EPSRC grants: REGI (2009-2012), StaMInA (2009-2012), and Automated Abstraction (2005-2008)
• Developed tools like the Statechum project for model inference

Labs/Teams: Member of the Verification and Testing Research Group and Foundations of Computation research group.

Awards: No specific awards listed, but contributions include pioneering work in formal testing methods.