|
|
Dr. Igor Potapov Department of Computer Science, 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) |
|
|
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
Liverpool L69 3BX
Fax: +44 151 7954235
