← Back to directory
Chris Hankin
Researcher Next ID · RN-012006
Researcher · Computer Science
Institute for Security Studies
, Kenya
Not currently recruitingFunding unknown
- Works count
- 220
- Citation count
- 5,431
- H-index
- 33
- i10-index
- 86
Research interests
Computer Science
Logic, programming, and type systems
Formal Methods in Verification
Logic, Reasoning, and Knowledge
Network Security and Intrusion Detection
Information and Cyber Security
Publications
Principles of Program Analysis
Journal · 1999 · 10.1007/978-3-662-03811-6
Current projects
No projects listed.