Alexei Lisitsa

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

phone:  +44 151 795 4250
fax:    +44 151 795 4235
room:   1.18 (first floor) 


Lecturer in the Department of Computer Science
Member of the the Logic and Computation Group

Administrative duties

Director of Studies of Postgraduate Taught Programmes (MSc in CS and MSc in Advanced CS)


Research Interests

Logic in Computer Science, Automated Reasoning, Formal Methods, Verification, Security

Research Projects

Teaching responsibilities


Recent and Future Workshops and Conferences

Maintained by Alexei Lisitsa ,, last updated Saturday, 16-September-2014 10:39 GMT.