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) |
PositionSenior Lecturer in the Department of Computer Science |
Administrative dutiesDirector of PGR |
Research InterestsFormal Methods, Verification,Applied Automated Reasoning, Applied Machine Learning, Experimental Mathematics Security TalksSummer School, Computer Science Summer in Russia, 2019
|
Research
|
PhD studentsMaryam Almarwani, Haneen Alharbi, Hadeel Alghamdi, Najwa Muslih S Alharbi, Nouf Aljuaid, Safa Fallatah, Emmanouil Pitsikalis, Yinzheng ZhongPhD students successfully completed their studiesRafiq Saleh (2011), Abdulbasit M. Ahmed (2013), Abdelmageed Algamdi (2018), Iman Sedeeq (2018), Farah Al-Shareefi (2019), Nahla Aburawi (2019),Ge Chu (2021), Said Alriyami (2021), Mahmood Alsaadi (2021), Faisal Alotaibi (2022) |
Forthcoming events
|
Recent eventsQuantum.Tech 2022 AITP 2022 VPT 2022 8ECM BCC 2021 CICM 2021 SC^2 VPT 2021 FOMM 2020/Lean Together, LMS Computer Science Colloquium, Mathematics of Security 2019 VECoS 2019 LETC 2019 , ACRIT 2019, AISE Workshop, PSSV 2019 , CSSR 2019, AITP 2019, Provable Safety for Robots Workshop 2019 , Space Security Scoping Workshop 2019, |