Stephen Murrell

Photo of Stephen Murrell

Stephen Murrell

Lecturer Electrical & Computer Engineering Department
Work Phone: (305) 284-3422/4044 Website: Academic Site




    • Oxford University, Ph.D. in Computation (1988)
    • University of Essex, B.S. in Mathematics and Computer Science (1981)


  • Chartered Information Technology Professional (CITP), British Computer Society. (2007 - Present)


    • University of Miami, Lecturer. Electrical and Computer Engineering (1996 - Present)
    • University of Miami, Assistant Professor. Math and Computer Science (1989 - 1996)
    • University of Miami, Instructor. Math and Computer Science (1986 - 1987)
    • Oxford University, Research Assistant. Computing Laboratory (1983 - 1985)


  • Juried or Refereed Journal Articles or Exhibitions

    • Plant, R., Murrell, S. J. (2005).A Natural Language Help System Shell through Functional Programming. Knowledge-Based Systems, 18 no. 1, 19-35.
    • Murrell, S. J., Plant, R. (1997).A Survey of Tools for Validation and Verification. Decision Support Systems Journal, 21, 307-323.
    • Murrell, S. J., Plant, R. (1996).On the Validation and Verification of Production Systems: A Graph Reduction Approach. International Journal of Man Machine Studies, Special Issue on Validation and Verification, 44 no. 2, 127-144.
    • Murrell, S. J., Plant, R. (1995).A Graph Reduction Implementation of a Production System. Knowledge Based Systems, 8 no. 4, 155-163.
    • Murrell, S. J., Plant, R. (1995).Decision Tables: Formalisation, Validation, and Verification. Journal of Software Testing, Verification and Reliability, 5, 107-132.
    • Murrell, S. J., Plant, R. (1995).Formal Semantics for Rule-Based Systems. Journal of Systems and Software, 29 no. 3, 251-260.
    • Plant, R., Murrell, S. J., Moreno, H. (1994).Prototype Decision Support System for a Differential Diagnosis of Psychotic, Mood, and Organic Mental Disorders: Part II. Medical Decision Making, 14 no. 3, 173-288.
  • Refereed Books

    • Plant, R., Murrell, S. J. (Eds.) An Executive's Guide to Information Technology. Cambridge University Press.

    Book Chapters

    • Murrell, S. J. (1992). Turing Machines, in "Magill's Survey of Science". (pp. ). Salem Press.
    • Murrell, S. J. (1983). Expert: A Script-Driven Advisor, in PRG Monograph 32. (pp. ). Oxford University Computing Laboratory.

Translate »