Rafiq Saleh
	The University of Liverpool Department of Computer Science Ashton Building Ashton Street Liverpool L69 3BX Phone: +441517954277 E-mail: R.A.Saleh[at]liverpool.ac.uk
I am a PhD student in the Department of Computer Science at The University of Liverpool. I am a member of the Complexity Theory and Algorithmics Group and the Logic and Computation Group. I work under the supervision of Dr. Alexei Lisitsa and Dr. Igor Potapov.
Research Interests - Algorithmic, complexity and logical aspects of knots. - Automata for strings over infinite alphabets.
Publications - Lisitsa, A., Potapov, I., Saleh, R.: Planarity of Knots, Register Automata and LogSpace Computability. LNCS, vol. 6638, pp. 366-377. Springer, Heidelberg (2011) - Lisitsa, A., Potapov, I., Saleh, R.: Automata on Gauss Words. LNCS, vol. 5457, pp. 505-517. Springer, Heidelberg (2009) - Kurlin, V., Lisitsa, A., Potapov, I., Saleh, R.: On Descriptional Complexity of the Planarity Problem for Gauss Words, Arxiv preprint arXiv:0907.4180(2009) Teaching Duties Demonstrator for: 2008 - Comp517: Software Development - Comp109: Foundations of Computer Science 2007 - COMP 201: Software Engineering I
Presentations - Planarity of Knots, Register Automata and LogSpace Computability, 5^th international conference on Language and Automata Theory and Applications (LATA2011), May 2011, Tarragona, Spain - Planarity of knots by automata and logic, Department of Computer Science, University of Liverpool, LOCO Lunch Talk, October 2010 - On Descriptional Complexity of knot properties,(26^th British Colloquium for Theoretical Computer Science (BCTCS 2010), April 2010, University of Edinburgh, UK - Automata on Gauss words, 3^rd international conference on Language and Automata Theory and Applications (LATA2009), April 2009, Tarragona, Spain - Automata on Gauss words (Preliminary results), 24^th British Colloquium for Theoretical Computer Science (BCTCS 2008), April 2008, Durham University, UK