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
office:   1.18 (first floor) 

Position

Senior Lecturer in the Department of Computer Science

Administrative duties

Director of Postgraduate Research (PGR), office hours: Friday, 14.00-15.00

Qualifications


Research Interests

Formal Methods, Verification,
Applied Automated Reasoning, Applied Machine Learning,
Experimental Mathematics
Security

Talks

Summer School, Computer Science Summer in Russia, 2019

Research

PhD students

Haneen Alharbi, Hadeel Alghamdi, Najwa Muslih S Alharbi, Nouf Aljuaid, Safa Fallatah, Emmanouil Pitsikalis

PhD students successfully completed their studies

Rafiq 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), Maryam Almarwani (2023), Yinzheng Zhong (2023)

Teaching


Program committees/Organization

Forthcoming events (consider submission/participation)

Past events

VECoS 2023 ABZ 2023 Digital Theme UK-Ukraine Twinning Initiative. Online Twinning Conference, 2023 TIOTC 2022 VECoS 2022 VPT 2022 PSSV 2021 TMPA 2021 VECoS 2021 CSMML 2021 TIOTC 2021 ABZ 2021 VPT 2021 ARCI 2021 SOFSEM 2021 VECoS 2020 PSSV 2020 ECAI 2020 ABZ 2020 VPT 2020 TMPA 2019 ESREL 2019 ACRIT 2019 ICIC 2019 PSSV 2019 VPT 2019

Participation

Forthcoming events

Recent events

OL2A 2023 AITP 2023 TCA 2023 Quantum.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,

Internal Resources (CS/UoL only)

Tulip SAM Timetables Webmail BSc projects MSc projects


Maintained by Alexei Lisitsa , A.Lisitsa@csc.liv.ac.uk, last updated Mon, 15-Jan-2024 11:41 GMT.