Connect with me
I'm part of
- Distributed and Intelligent Systems
- Software Systems Engineering
- Centre for Parallel Computing
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.