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)
|
|
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) |
PositionLecturer in the Department of Computer ScienceHead of the Verification Group |
Administrative dutiesAsseessment and Academic Integrity Officer |
Forthcoming events |
Recent eventsVECoS 2019 LETC 2019, ACRIT 2019, AISE Workshop, PSSV 2019 , CSSR 2019, AITP 2019, Provable Safety for Robots Workshop 2019 , Space Security Scoping Workshop 2019, TAV 2018 , CCS 2018 , RP 2018 , AlgoUK 2018 , ICMS 2018 , Bridging the Gap between Human and Automated Reasoning 2018, ICISSP 2018 , MACIS 2017, VPT 2017 |