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

Program committees/Organization:

New: META 2016 New: PSSV 2016, New: PRAISE 2016, SOFSEM 2016, VPT 2016, VPT 2015, LOPSTR 2015, ACySE 2015, LOPSTR 2014, Meta 2014, ACySE 2014 ,VPT 2014, VPT 2013, FCT 2013 , RP 2012, RP 2010, Meta 2010, RP 2009, Meta 2008


Maintained by Alexei Lisitsa , A.Lisitsa@csc.liv.ac.uk, last updated Friday, 18-March-2016 11:11 GMT.