معرفی
Dr Alexei Lisitsa is a Senior Lecturer at the University of Liverpool specializing in theoretical computer science and mathematical structures. His work bridges automated reasoning, machine learning, and topological mathematics with applications in cybersecurity and network analysis. Active since at least 2008, he maintains a robust research profile with recent publications through 2025.
His research focuses on computationally intensive problems in algebraic topology and formal methods. Key contributions include developing machine learning techniques for braid invariants, automating group theory proofs, and creating knot diagram analysis frameworks. This work consistently integrates experimental mathematics with computational verification, demonstrating innovative cross-disciplinary approaches to complex topological challenges.
Analysis of his 2023-2025 publications reveals accelerating integration of neural networks with symbolic reasoning systems. His team pioneers applications of deep learning to traditionally intractable problems in braid theory and group presentations, while maintaining strong foundations in formal verification methods for temporal logic systems.
Dr Lisitsa actively secures competitive research funding:
- Flexible Querying of Encrypted Graph Databases (Innovate UK, 2020)
- KTP with ValueChain Enterprise Systems (Innovate UK & VALUECHAIN, 2018-2022)
- Future AI and Robotics for Hub Space (FAIR-SPACE) (EPSRC, 2017-2021)
- Machine Learning for recognising tangled 3D objects (Leverhulme Trust, 2020-2023)
- Engineering Autonomous Space Software (EPSRC, 2008-2012)
- Discrete analogues of dynamical systems (NATO, 2008-2010)
He supervises postgraduate research in network security and movement pattern analysis, with thesis topics including temporal logic-based intrusion detection systems and large-scale network prediction methodologies.
