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.
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