Dr Neville Dean


Research Interests

Neville has research interests in the learning and teaching of mathematical modelling in engineering, software engineering and the life sciences, and has been responsible for organizing several conferences in the area.

Teaching And Professional Interests

Neville teaches electrical engineering, mathematical modelling and mathematical methods to Part I undergraduates. He edits research papers in engineering, mathematics and physics. Currently, he is writing book on mathematical modelling for the life sciences (with Dr Cerian Webb, NewnhamCollege), for Garland Press.

Links to online publications, articles or other work
  • Neville Dean, Mathematical Education of Engineers: Why? What? How?, Proc. 3rd World Conference on Engineering Education, Portsmouth; Vol.2, pp247–252, ed. T V Duggan, Computational Mechanics Publications, Southampton, September 1992.
  • Neville Dean & Michael Hinchey, Z — An Active Approach, NSF Workshop on Teaching Formal Methods, Clinton, NY, USA, August 1994.
  • Neville Dean, Z — An Active Approach, tutorial presented at the 1995 Workshop on Industrial Strength Formal Specification Techniques, Boca Raton, Florida, USA, April 1995; IEEE Computer Society Press, 1995
  • Neville Dean, Mental Models of Z: I — Sets and Logic, in ZUM’95: Proc. 9th International Conf. Z Users, Lecture Notes in Computer Science 967, edited by J.P.Bowen & M.G.Hinchey, Springer Verlag, pp498–507, 1995.
  • Neville Dean & Michael Hinchey, Introducing Formal Methods Through Role Playing, SIGCSE Bulletin, 27(1):302-306, 1995
  • Neville Dean, Teaching Z, CTI Workshop on Teaching Formal Methods, Huddersfield, September 1995 (Invited Paper)
  • David Gries & Neville Dean, Formal Methods: Why? What? How?, presented at the 27th SIGCSE Technical Symposium on Computer Science Education, Philadelphia, Pennsylvania, February 1996.
  • Engineering Mathematics, in Information Sources in Engineering, edited by K Mildren & P Hicks, Bowker–Saur, pp 451–466, 1996
  • The Essence of Discrete Mathematics, Neville Dean, Prentice-Hall, 1996
  • Teaching and Learning Formal Methods, edited by C Neville Dean & Michael G Hinchey, Academic Press, 1996
  • C. Neville Dean & Mike Hinchey, “Formal Methods and Modeling in Context” in “Teaching and Learning Formal Methods”, edited by C Neville Dean & Michael Hinchey, pp93–116, 1996
  • Vicki Almstrum, Neville Dean (co-chairs), Don Goelman, Tom Hilburn and Jan Smith: Support for Teaching Formal Methods, SIGCSE Inroads, 33 (2), 71-88, June 2001
  • Logic and Language, C Neville Dean, Palgrave Macmillan, 2003
  • Neville Dean, Development of an Interactive Case e-Study, Teaching Formal Methods Workshop, Oxford, December 2003
  • Teaching Formal Methods 2004 (Conference Proceedings), edited by Neville Dean & Raymond Boute, Lecture Notes in Computer Science 3294, Springer Verlag, 2004
  • Neville Dean, Computers and Logic - what shall we tell the students? , CTI Workshop on the Teaching of Logic, Leeds, January 2006 (Invited Paper)