Alexei Lisitsa

Department of Computer Science
University of Liverpool
Ashton Building 
Liverpool L69 7ZF
United Kingdom 

e-mail: A.Lisitsa@csc.liv.ac.uk
phone:  +44 151 795 4250
fax:    +44 151 795 4235
office:   1.18 (first floor) 

Position

Administrative duties

Research Interests

• DBLP:Alexei Lisitsa
• Google Scholar

Talks

• Finite Models for Safety Verification. Slides of the talk given on 22.06.12 in ENS Cachan, LSV

Summer School, Computer Science Summer in Russia, 2019

• Finite Countermodel Finding for Infinite State and Parameterized Verification
• Automated Reasoning for Experimental Mathematics
• (un)Knot detection
• SAT for Erdos Discrepancy Problem
• AR for the Andrews-Curtis Conjecture

Research

• Knowledge Transfer Partnership project (academic supervisor)
• Future AI and Robotics Hub for Space (FAIR-SPACE)
• Satisfiability Checking and Symbolic Computation
• Verification via Finite Countermodel Finding
• Supercompilation for Verification
• Logical, Computational and Algorithmic Approach to Knots
• Automated Reasoning and Symbolic Computations in Experimental Mathematics
  • New: Describing realizable Gauss diagrams using the concepts of parity or bipartite graphs
  • New: Automated reasoning for proving non-orderability of groups
  • New: Towards computer-assisted proofs of parametric Andrews-Curtis simplifications
  • A SAT Attack on Erdos Discrepancy Conjecture; see also A237695
  • Detecting Unknots via Equational Reasoning, I: Exploration
  • Quandle coloring with SAT and #SAT for knot discrimination
  • Automated Reasoning for Knot Semigroups
  • Automated reasoning in the exploration of Andrews-Curtis Conjecture
• Temporal Logic and Stream Data Processing for Intrusion detection
• Engineering Autonomous Space Software

PhD students

PhD students successfully completed their studies

Forthcoming events (consider submission/participation)

• 50th International Conference on Current Trends in Theory and Practice of Computer Science January 20 - 23, 2025, Bratislava, Slovakia
• IEEE Symposium on Visual Languages and Human-Centric Computing, 2024

Past events

Forthcoming events

• The Conference on Theoretical and Computational Algebra 2024, Aveiro, Portugal
• Trimester Program: "Prospects of formal mathematics", Hausdorff Research Institute for Mathematics, Bonn, Germany, 2024
• IEEE Symposium on Visual Languages and Human-Centric Computing, 2024, Liverpool, UK

Recent events