EPSRC logo
Researcher Details
 
Name: Dr KN Gkorogiannis
Organisation: Middlesex University
Department: Faculty of Science & Technology
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/K040049/1 Boosting Automated Verification Using Cyclic Proof(R)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator