|
|
Igor Potapov Lecturer
in the Department of Computer Science, Office:
Ashton Building,
3.15 Email: potapov [at] liverpool.ac.uk Phone: +44 151 795 4258 |
NEWS
3rd International
Workshop on Reachability Problems (23 -25 September 2009, Ecole
Polytechnique, France)
4th International Workshop on Reachability
Problems (27-29 August 2010, Brno, Czech Republic)
Fully funded PhD
positions are available for UK/EU students.
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 2009 (PC
co-chair) -
DLT 2010 (PC
member) -
MCU 2010 (PC
member) -
ESA 2010 (member
of the organizing committee) |
Teaching :
Software
Engineering (COMP201) - lecturer
Efficient Parallel Algorithms
(COMP308) - lecturer
Honours & Msc Projects -
supervisor
Address:
Department
of Computer Science
Ashton
Liverpool L69 3BX
Fax: +44 151
7954235