Alexei Iliasov

Newcastle University
Alexei is a co-author of "Driving Efficiency & Resilience to Human Error: SafeCap Automated Verification of Signalling Data"
Alexei Iliasov is a Senior Reseracher at Newcastle University. His domain of expertise is in formal methods, theorem proving and static verification with over 60 peer-reviewed publications. Over the past few years he has lead the development of SafeCap Platform - an open tool for the simulation and verification of railway systems.