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 dutiesXJTLU Link Tutor and ModeratorAssessment and Academic Integrity Officer (acting) |
Research InterestsFormal Methods, Verification,Applied Automated Reasoning, Applied Machine Learning, Security Talks
Summer School, Computer Science Summer in Russia, 2019
Positions available |
Research
|
PhD studentsMaryam Almarwani, Haneen Alharbi, Najwa Muslih S Alharbi, Mahmood Alsaadi, Faisal Alotaibi, Said Alriyami, Nahla Aburawi, Farah Al-Shareefi, Ge ChuPhD students completed their studiesRafiq Saleh (2011), Abdulbasit M. Ahmed (2013), Abdelmageed Algamdi (2018), Iman Sedeeq (2018), Farah Al-Shareefi (2019) |