Employment

 

October 2013 - present

Reader at The University of Liverpool, Department of Computer Science

 

October 2009 - September 2013

Senior Lecturer at The University of Liverpool, Department of Computer Science

 

March 2002 - September 2009

Lecturer at The University of Liverpool, Department of Computer Science

 

March 2000 - February 2002

Research Assistant at The University of Liverpool, Department of Computer Science

 

October 1996 - March 2000

PhD student at Institute of Applied Mathematics NAS of Ukraine

 

Education 

 

    April 2001                           Ph.D. in Computer Science,

                                                Institute of Applied Mathematics and Mechanics NAS of Ukraine

    June 1996                            M.S. in Applied Mathematics,

                                                Donetsk State University, Department of Mathematics (Ukraine)

 

 

Grants and Awards

 

1. ■EPSRC grants
   

        – Reachability problems for words, matrices and maps: Algorithms and Complexity,

            PI: Igor Potapov,  £459K (full economic cost is £580K), 2014-2018.

        – Concatenation State Machines and Simple Functions (algorithms and complexity),

            EP/F029136/1, 2008-2009, (52, 005 GBP) - Co-investigator

        – Computational topology: Algorithms and Complexity. Academic Leads: Dr. Igor Potapov,

            Prof. Victor Goryunov. EPSRC Shaping capability funds 2012/13 (10, 000 GBP)

        – International Visitors Program: Reachability Problems in Complex Models. EPSRC Bridging

            the Gaps , 2011/2012, (5, 000 GBP)

1. ■NATO, The Science for Peace and Security
   

        − “Discrete analogues of dynamical systems and their applications to Secure Data

            Transmission”, Collaborative Linkage Grant, 2008-2010 (15, 000 EUR);

   

1. ■Royal Society Grants
   

        − “Specification and Verification of Infinite-State Systems: Focus on

            Data”, International Joint Project - 2010/R3, 2011-2013 (11, 960 GBP);

        −  Royal Society Travel Grant, 2010 (1, 820 GBP);

        − “Computational problems for low-dimensional structures”, International Joint Project - 2007/

            R1, 2007-2009 (12, 000 GBP);

        − “Reachability analysis of dynamical systems”.IncomingShortVisitGrant,2005(2,160GBP);

         − ”An influence of the external world constraints on computational models”. Incoming Short

            Visit Grant, 2005 (3, 420 GBP); − Royal Society Travel Grant, 2005 (1, 572 GBP);

1. ■The Nuffield Foundation Grants − ”Investigation of the dynamics of discrete adaptive games
   

          using an automata theoretic approach”. Awards to Newly Appointed Lecturers, 2003-2005

          (5, 000 GBP);

1. ■Royal Academy of Engineering
   

        − Distinguished Visiting Fellowship 2008-2009 (3, 940 GBP) Distinguished visitor:

            Prof. Oscar Ibarra, University of California, Santa Barbara, USA

        − International Travel Grant, IJB/ITG 06-341, 2006 (570 GBP)

1. ■London Mathematical Society
   

        − LMS International Short Visit Grant, 2015 (£ 2,700)    

        − Conference Grant: “19th International Symposium on Fundamentals of Computation Theory”,    

            2013 (2, 660 GBP)

        − Conference Grant: “ European Symposium on Algorithms”, 2010 (4, 200 GBP)

        − Conference Grant: “ International Workshop on Reachability Problems”, 2008 (3, 600 GBP)

        − Computer Science Small Grant: “Feasibility of verification and reachability techniques for

            matrix semigroup problems”, 2007 (500 GBP);

1. ■Internal University of Liverpool grants
   

        − “Exploration of New Computational Paradigms”. Individual Discipline Hopping Award, The    

             University of Liverpool, 2005 (2, 200 GBP);

        −  “A new approach for analysis of infinite state systems ” Research Development Fund. The

             University of Liverpool, 2004-2005 (3, 025 GBP).