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

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

Qualifications

Research Interests

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

Research Projects

Teaching responsibilities

Talks

Recent and Future Workshops and Conferences


Maintained by Alexei Lisitsa , A.Lisitsa@csc.liv.ac.uk, last updated Saturday, 16-September-2014 10:39 GMT.