Dr Alexander Bolotov

Academic qualifications

  • MSci in Logic (1985, Lomonosov Moscow University)
  • PhD in Logic (1992, Lomonosov Moscow University)
  • PhD in Computer Science (2000, Manchester Metropolitan University)

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


  • Distributed and Intelligent Systems
  • Software Systems Engineering
  • Centre for Parallel Computing

In brief

Research areas

Automated Reasoning, Software Specification and Verification, Artificial Intelligence, Graph-Based Knowledge Representation, E-Learning Platforms and Ontologies

Skills / expertise

Formal Methods, Mathematical Modelling, Software Architecture, Program Reasoning and Logic Engineering

Supervision interests

Logic Engineering, Reasoning, Modelling, Machine Learning, Agent Systems, Computational Modelling and Ontologies