Global

Engineering Experts

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.

Global Experts from United Kingdom

Global Experts in Subject

Share This Profile
Recent Expert Updates
  • Matthew L Stone
    Matthew L Stone
    pediatrics
    University of Virginia Health System; Charlottesville, VA
    United States of America
  • Dr.   Matthew
    Dr. Matthew
    pediatrics
    University of Virginia Health System; Charlottesville, VA
    United States of America
  • Dr.  L Stone Matthew
    Dr. L Stone Matthew
    pediatrics
    University of Virginia Health System; Charlottesville, VA
    United States of America
  • Dr.  L Stone
    Dr. L Stone
    pediatrics
    University of Virginia Health System; Charlottesville, VA
    United States of America
  • Dr. Matthew L Stone
    Dr. Matthew L Stone
    pediatrics
    University of Virginia Health System; Charlottesville, VA
    United States of America
  • Dr.  R Sameh
    Dr. R Sameh
    pediatrics
    King Abdul Aziz University
    United Arab Emirates
  • Dr.   R Ismail,
    Dr. R Ismail,
    pediatrics
    King Abdul Aziz University
    United Arab Emirates
  • Sameh R Ismail,
    Sameh R Ismail,
    pediatrics
    King Abdul Aziz University
    United Arab Emirates
  • Dr.   Sameh R Ismail,
    Dr. Sameh R Ismail,
    pediatrics
    King Abdul Aziz University
    United Arab Emirates
  • Dr.   William
    Dr. William
    pediatrics
    Maimonides Medical Center
    United States of America