The College Administration has resumed full operations as of Sept. 20. Classes resume on Sept. 25. For complete schedules and additional information, please click here.

Stephen Murrell

Photo of Stephen Murrell

Stephen Murrell

Lecturer | College of Engineering | 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)


    • 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.