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 Science |
Administrative dutiesXJTLU Link Tutor and Moderator |
Research InterestsFormal Methods, Verification,Applied Automated Reasoning, Applied Machine Learning, Experimental Mathematics Security TalksSummer School, Computer Science Summer in Russia, 2019
|
Research
Applied Advanced Cryptography Seminar Series AAC |
PhD studentsMaryam Almarwani, Haneen Alharbi, Hadeel Alghamdi, Najwa Muslih S Alharbi, Mahmood Alsaadi, Faisal Alotaibi, Said Alriyami, Ge Chu, Nouf Aljuaid, Emmanouil Pitsikalis, Yinzheng ZhongPhD students completed their studiesRafiq Saleh (2011), Abdulbasit M. Ahmed (2013), Abdelmageed Algamdi (2018), Iman Sedeeq (2018), Farah Al-Shareefi (2019), Nahla Aburawi (2019) |
Forthcoming events
|
Recent eventsVPT 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, 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 |