Alexei Lisitsa

University of Liverpool, University of Southampton

Papers

Total Citations

H-Index

About

Alexei Lisitsa is a leading researcher at the intersection of formal verification, autonomous robotics, and safety-critical systems. His work addresses one of the most pressing challenges in modern engineering: how to guarantee the reliability of autonomous systems operating in hazardous and inaccessible environments. Lisitsa’s most impactful contribution is his comprehensive overview of verification and validation challenges for inspection robots (60 citations), which has become a foundational reference for researchers developing robots for nuclear facilities, deep space, and other dangerous settings. He has pioneered agent-based frameworks for adaptive control and decision-making in autonomous vehicles, and developed temporal verification methods for fault-tolerant protocols. His modular verification approach for autonomous space robotics addresses the critical need for software reliability in missions where failure can endanger astronauts and expensive equipment. Lisitsa’s work is particularly notable for bridging the gap between formal specification techniques and practical robotic systems, providing rigorous mathematical guarantees for software correctness. His research continues to shape how engineers design and validate autonomous systems for the most demanding operational environments.