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

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/N020243/1 Vulnerability Discovery using Abduction and Interpolation (P) 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