Andrew Sogokon

Andrew Sogokon is a Lecturer in Security and Protection Science in the Department of Computing and Communications at Lancaster University. His research focuses on formal methods and automated reasoning applied to security systems.

He has published on theorem proving techniques and formal verification methods. Sogokon is affiliated with research groups including Security Lancaster and the Lancaster Intelligent, Robotic and Autonomous Systems Centre.