EPSRC logo
Researcher Details
 
Name: Professor A King
Organisation: University of Kent
Department: Sch of Computing
Current EPSRC-Supported Research Topics:
Fundamentals of Computing

Current EPSRC Support
EP/N020243/1 Vulnerability Discovery using Abduction and Interpolation(P)
Previous EPSRC Support
EP/K032585/1 Se-Ma-Match: Semantic Malware Matching(P)
EP/K031929/1 Compositional Security Analysis for Binaries(P)
EP/F012896/1 Fostering Collaboration between White-hats and Academia(P)
EP/E033105/1 VIP: Verification with Integer Polyhedra(P)
EP/D078342/1 LACE: Lifetime-Aware Collection(C)
EP/C015517/1 Back to Bits(P)
GR/M08769/01 SEMANTIC-BASED SOFTWARE SUPPORT FOR CONSTRAINT LOGIC PROGRAMS(P)
GR/K79642/01 DETECTING AND EXPLOITING DETERMINACY IN LOGIC PROGRAMS(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator