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

Position

Lecturer in the Department of Computer Science
Head of the Verification Group

Administrative duties

XJTLU Link Tutor and Moderator
Assessment and Academic Integrity Officer (acting)

Qualifications


Research Interests

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

Talks

Summer School, Computer Science Summer in Russia, 2019

Positions available

  • Deep Learning Research Officer at the University of Essex within a joint project on ‘Machine learning for recognising tangled 3D objects’
  • Research

    PhD students

    Maryam Almarwani, Haneen Alharbi, Najwa Muslih S Alharbi, Mahmood Alsaadi, Faisal Alotaibi, Said Alriyami, Nahla Aburawi, Farah Al-Shareefi, Ge Chu

    PhD students completed their studies

    Rafiq Saleh (2011), Abdulbasit M. Ahmed (2013), Abdelmageed Algamdi (2018), Iman Sedeeq (2018), Farah Al-Shareefi (2019)

    Teaching responsibilities


    Program committees/Organization

    Forthcoming events (consider submission/participation)

    Past events

    MICSECS 2019 TMPA 2019 ESREL 2019, ACRIT 2019, ICIC 2019, PSSV 2019, VPT 2019, PSSV 2018, VPT 2018, PSSV 2017, VPT 2017, TMPA 2017, META 2016, PSSV 2016, PRAISE 2016, SOFSEM 2016, VPT 2016, VPT 2015, LOPSTR 2015, ACySE 2015, LOPSTR 2014, Meta 2014, ACySE 2014 ,VPT 2014, VPT 2013, FCT 2013, RP 2012, RP 2010, Meta 2010, RP 2009, Meta 2008

    Participation

    Forthcoming events

    Recent events

    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

    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, 8-Jul-2019 13:31 GMT.