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

Chair of PGT Board of Examiners, Plagiarism Officer


Research Interests

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

Research Projects

Teaching responsibilities


Program committees/Organization

Maintained by Alexei Lisitsa ,, last updated Monday, 03-OCT-2016 11:30 GMT.