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
Head of the Verification Group

Administrative duties

Asseessment and Academic Integrity Officer

Qualifications

PhD in Theoretical Computer Science, Program Systems Institute of Russian Academy of Science, March 1997
MSc in Mathematics (mathematical logic), Moscow State University, June 1987

Research Interests

Formal Methods, Verification, Applied Automated Reasoning, Security

Talks

Research Projects

Teaching responsibilities

Program committees/Organization

Forthcoming events (consider submission/participation)

Past events

PSSV 2018, VPT 2018, PSSV 2017, VPT 2017, TMPA 2017, META 2016, PSSV 2016, 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

Internal Resources (CS/UoL only)

Online Timetables
Webmail
BSc projects
MSc projects

Maintained by Alexei Lisitsa , A.Lisitsa@csc.liv.ac.uk, last updated Friday, 5-OCT-2018 14:15 GMT.