Alexei Lisitsa

Picture of 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
room:   1.18 (first floor) 

Position

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

Qualifications

Research Interests

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

Research Projects

Teaching responsibilities

Talks

Program committees/Organization




Maintained by Alexei Lisitsa , A.Lisitsa@csc.liv.ac.uk, last updated Monday, 03-OCT-2016 11:30 GMT.