Dr Alexander Bolotov

Profile photo of Alexander Bolotov's profile photo

Reader

Computer Science and Engineering

(United Kingdom) +44 20 7911 5000 ext 64537
115 New Cavendish Street
London
GB
W1W 6UW
Connect with me
I'm part of

About me

Academic qualifications

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

Teaching

School of CS and Engineering responsibilities and roles:

Level 4 MathematIcs for Computing Module leader

Level 5 Software Engineering Principles and Practuce Module leader

Software Systems Engineering Research Group Leader.

School of CS and Engineering Doctoral Researchers Ddevelopment Programme Coordinator.

Research

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

Ontologies

Publications

For details of all my research outputs, visit my WestminsterResearch profile.