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
RP2013: Reachability Problems (25-27 September 2013, Uppsala, Sweden)

Fully funded PhD positions are available in Computer Science Department.

The deadline for the first round of applications to be received is 28th Feb 2013.

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: - MCU 2013 (PC member) - FCT 2013 (member of the organizing committee) - UCNC 2012 (PC member) - RP 2012 (co-chair) - RP 2011 (co-chair)

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

---