EPSRC logo
Researcher Details
Name: Dr K Bogdanov
Organisation: University of Sheffield
Department: Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/H002456/1 StaMInA: A Novel Competition to Drive the Comparative Evaluation of State Machine Inference Approaches(P)
EP/F065825/1 Reverse Engineering State Machine Hierarchies by Grammar Inference (REGI)(P)
EP/C511883/1 Automated abstraction of code into a state-based specification and test generation(P)
GR/R43150/01 NETWORK: Formal Methods and Testing (FORTEST)(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator