Iain Stewart
Professor
Department of Computer Science
Durham University
United Kingdom
Biography
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).
Research Interest
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.
Publications
-
Stewart, I.A. (1999). A perspective on Lindström quantifiers and oracles. In Generalized Quantifiers and Computation: 9th European Summer School in Logic, Language, and Information ESSLLI’97Workshop Aix-en-Provence, France, August 11–22, 1997 Revised Lectures. Väänänen, J. Berlin: Springer. Lecture Notes in Computer Science Vol. 1754: 51-71.
-
Arratia-Quesada, A.A., Chauhan, S.R. & Stewart, I.A. (1999). Hierarchies in classes of program schemes. Journal of Logic and Computation 9(6): 915-957.
-
Chauhan, S.R. & Stewart, I.A. (1999). On the power of built-in relations in certain classes of program schemes. Information Processing Letters 69(2): 77-82.