Dr. Igor Potapov Department of Computer Science, The University of Liverpool Office: Ashton Building, 3.15 Email: potapov [at] liverpool.ac.uk Phone: +44 151 795 4258

---

NEWS
RP2012: Reachability Problems (17-19 September 2012, Bordeaux, France)

Fully funded PhD positions are available in Computer Science Department.

The deadline for the first round of applications to be received is 15th Feb 2012.

If you are interested in doing a research project under my supervision, please contact me by e-mail.

---

Research Interests: - design and analysis of algorithms; - computational models; - decidability questions for a variety of mathematical objects; - formal methods in automata-like systems, automata theory.

Research Events: I am involved in the following conferences: - RP 2011 (co-chair) - RP 2012 (co-chair) - UCNC 2012 (PC member) - FCT 2013 (member of the organizing committee)

List of Publications

Short CV

---

Teaching :

Efficient Sequential Algorithms (COMP309) - lecturer

Honours & Msc Projects - supervisor

Software Engineering (COMP201) - lecturer, 2002-2009

Efficient Parallel Algorithms (COMP308) - lecturer, 2002-2010

---

Address:

Department of Computer Science

Ashton Building

Ashton Street

Liverpool L69 3BX

England

Fax: +44 151 7954235

---