Igor Potapov

 
Research interests: My research is mostly in the study of different reachability questions and the boundaries between decidable and undecidable problems that concern automata, formal languages, semigroups and iterative maps. These areas have quite broad connections with algorithms and combinatorics on words, abstract algebra, topology and computation theory. Also I am interested in the design & analysis of algorithms in distributed computational models and particularly interested in self-organization, pattern formation and analysis of computational power.

I am a Professor at the University of Liverpool and the head of  Algorithms, Complexity Theory and Optimisation (ACTO) Group in the Department of Computer Science.

News: RP’2015 (Warsaw, Poland) DLT’2015 (Liverpool, UK) MCU‘2015 (Famagusta, Cyprus)http://dlt2015.csc.liv.ac.uk/shapeimage_3_link_0
Department of Computer Science, The University of Liverpool Office: Ashton Building, 3.15 Email: potapov [at] liverpool.ac.ukhttp://www.csc.liv.ac.uk/http://www.liv.ac.uk/shapeimage_4_link_0shapeimage_4_link_1
Reachability ProblemsRP.htmlshapeimage_6_link_0
A fully funded 3-year PhD position is available. Applications are admitted until 1 May 2018 , or until a suitable candidate is found thereafter. More details about the project see on the FindaPhD: Combinatorial analysis of the energy graphs under operations of composition
Teaching Efficient Sequential Algorithms (COMP309) - lecturer Honours & Msc Projects - supervisor   Administrations Assessment Officer, Examinations Officer, Chair of Mitigating Circumstances Committee, Member of Board of Studies in Computer Science, Member of Faculty Progress Committee.http://www.csc.liv.ac.uk/~igor/COMP309/shapeimage_8_link_0