Alexander Bolotov


 I am a Principal Lecturer within the Department of Computer Science and Software Engineering in the School of Electronics and Computer Science, at the University of Westminster. I teach various modules within BEng/MEng Software Engineering and Artificial Intelligence. My research interests are in the field of automatic theorem-proving, in particular for temporal reasoning and application of these techniques in specification and verification of distributed systems and agent-based systems.

In addition, I am carrying out various administrative activities, in particular, I am a course leader for the BEng/MEng Software Engineering and I am a chair of the UK Automated Reasoning Workshop (ARW).