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

Administrative duties

Asseessment and Academic Integrity 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 Wednesday, 10-AUG-2017 11:30 GMT.