Alexander Bolotov is a Professor at the University of Westminster's School of Computer Science and Engineering, where he serves as the Software Systems Engineering Research Group Leader and the Doctoral Researchers Development Programme Coordinator. He teaches Level 4 Mathematics for Computing and Level 5 Software Engineering Principles and Practice modules. His research spans Automated Reasoning, Graph-Based Reasoning, Specification and Verification of Complex Reactive, Concurrent and Distributed Systems, Formal Methods in Software Engineering, Logic, Temporal Logic, Proof Theory, On-Line Knowledge Repositories, and Ontologies. His expertise includes Formal Methods, Mathematical Modelling, Software Architecture, Program Reasoning and Logic Engineering. His recent publications demonstrate a strong focus on branching-time temporal logics, formal verification methods, ontology-based e-learning platforms, and applications in digital health evidence generation. His work bridges theoretical computer science with practical applications in healthcare, finance, and educational technology. Bolotov has successfully secured multiple research grants including Innovate UK projects RADIANT Implementation and RADIANT: Regulatory Science Empowering Innovation in Transformative Medical Software and AI, as well as funding from the Alan Turing Institute for developing frameworks for literature evaluation. He actively supervises doctoral students working on topics including ontology-driven frameworks for system integration, rich web applications, cloud computing load balancing, wireless sensor networks, and semantic selection of internet sources. His research group is involved with the Distributed and Intelligent Systems, Software Systems Engineering, and Centre for Parallel Computing.
