Cookies

We use cookies to ensure that we give you the best experience on our website. You can change your cookie settings at any time. Otherwise, we'll assume you're OK to continue.

Durham University

Computer Science

Profile

Professor Iain Stewart, MA PhD FBCS CITP

Personal web page

Telephone: +44 (0) 191 33 41720
Room number: E362

(email at i.a.stewart@durham.ac.uk)

Biography

Personal webpages

I am a Professor in the School of Engineering and Computing Sciences. I read mathematics at Christ Church, Oxford (1980-83) before completing my PhD in mathematics at Queen Mary College, University of London (1983-86). I was then appointed to a Lecturership in the Computing Laboratory, University of Newcastle upon Tyne in 1986 before moving to a Lecturership in the Department of Computer Science, University of Wales Swansea in 1992. I was later appointed Senior Lecturer (1994) and then Reader (1995) before becoming Professor of Computer Science at Leicester in 1996. I moved to the Department of Computer Science at Durham as Professor in 2002.

I have a number of positions within the mathematics and computer science community which include the following: I am a member of the UK Computing Research Committee (UKCRC), having previously been on the Executive; I am a member of the Research Committee of the BCS Academy of Computing; I am a member of the EPSRC Computing College; I am an Editorial Advisor to the London Mathematical Society Journal of Computation and Mathematics; I am an Editor of the Journal of Discrete Algorithms; and I am an Associate Editor of The Computer Journal. In the past I have been: a Member of Council of the London Mathematical Society; Chair of the Computer Science Committee of the London Mathematical Society; Co-ordinator of the joint EPSRC and London Mathematical Society MathFIT (Mathematics for Information Technology) initiative; President of the British Colloquium for Theoretical Computer Science (BCTCS); and President of the European Association for Computer Science Logic (EACSL).

I have varied research interests including: computational complexity; finite model theory and descriptive complexity; graph theory and algorithms; interconnection networks for parallel and distributed computing; theoretical aspects of artificial intelligence; and group theory.

Research Groups

  • Algorithms and Complexity

Research Interests

  • Computational complexity
  • Finite model theory and descriptive complexity
  • Graph theory and algorithms
  • Group theory
  • Interconnection networks for parallel and distributed computing
  • Theoretical aspects of artificial intelligence

Selected Publications

Show all publications

Selected Grants

  • 2009: EPSRC Grant "Quantified Constraints and Generalisations" £247,539
  • 2009: EPSRC Grant "Tolerating faults in interconnection networks for parallel computing" £275,210
  • 2006: EPSRC Grant "Finite and Algorithmic Model Theory", £19,000
  • 2002: EPSRC Grant "The USe of Normal Forms For Solving Word Problems" £43,858
  • 2001: EPSRC Grant "The Algebraic Structure of Complexity Classes" £43,619

Supervises