Research

 
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: EPSRC grant: “Reachability problems for words, matrices and maps” 2014-2018 (EP/M00077X/1) Postdoc positions are available.http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/M00077X/1https://www.liv.ac.uk/working/jobvacancies/currentvacancies/research/r-586930/shapeimage_2_link_0shapeimage_2_link_1
Research Projects Distributed algorithms Counter automata Games iterative maps and Matrix Semigroups Pattern Formations by Broadcasting automata Computational problems for braids, knots and links
Research events NEW: DLT’2015 (Liverpool, UK), (chair) RP’2015 (Warsaw, Poland) (co-chair) MCU‘2015 (PC member) Past Events: DLT’14 (PC member), FCT’13 (member of the organising committee), MCU’13 (PC member), UCNC 2012 (PC member), RP 2012 (co-chair), RP 2011 (co-chair), DLT 2010 (PC member), ALGO 2010 (member of the organising committee), RP 2010 (co-chair), RP 2009 (co-chair), RP 2008 (co-chair), RP 2007 (co-chair), LAG 2003 (member of the organising committee).http://dlt2015.csc.liv.ac.uk/http://www.univ-orleans.fr/lifo/events/UCNC2012/http://rp12.labri.fr/http://rp11.disi.unige.it/http://algo2010.csc.liv.ac.uk/shapeimage_4_link_0shapeimage_4_link_1shapeimage_4_link_2shapeimage_4_link_3shapeimage_4_link_4