Dr. Igor Potapov
Office: Ashton Building, 3.15
Email: potapov [at] liverpool.ac.uk
Phone: +44 151 795 4258
RP2013: Reachability Problems (25-27 September 2013, Uppsala, Sweden)
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.
- design and analysis of algorithms;
- computational models;
- decidability questions for a variety of mathematical objects;
- formal methods in automata-like systems, automata theory.
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)
Efficient Sequential Algorithms (COMP309) - lecturer
Honours & Msc Projects - supervisor
Software Engineering (COMP201) - lecturer, 2002-2009
Efficient Parallel Algorithms (COMP308) - lecturer, 2002-2010
Department of Computer Science
Liverpool L69 3BX
Fax: +44 151 7954235