Neil Sculthorpe

Neil Sculthorpe

Lecturer/Senior Lecturer

Computing and Technology

Staff Group(s)
Computing and Technology


Dr Neil Sculthorpe leads the Software Engineering and Advanced Software Engineering modules at undergraduate level, and the Software Engineering 1 module at postgraduate level. He is also a member of the Mathematical Aspects of Computer Science research group.

Career overview

Neil’s previous research positions have included:

Research areas

Neil’s research field is Programming Languages, and his specific research interests include Functional Programming, Operational Semantics, Denotational Semantics, Type Systems, Equational Reasoning, Program Transformation, Functional Reactive Programming, Domain-Specific Languages and Continuations.

All research publications, and slides from any research presentations and guest lectures, are available on Neil's personal webpage.

Specific research projects have included:

External activity

Program committee member for:

Reviewer for:

  • Journal of Functional Programming (JFP)
  • Symposium on Principles of Programming Languages (POPL)
  • International Conference on Functional Programming (ICFP)
  • International Conference on Types for Proofs and Programs (TYPES)
  • Conference on Mathematical Foundations of Programming Semantics (MFPS)
  • Conference on Algebra and Coalgebra in Computer Science (CALCO)
  • Symposium on Haskell (HASKELL)
  • Symposium on Implementation and Application of Functional Languages (IFL)
  • Workshop on Mathematically Structured Functional Programming (MSFP)
  • Workshop on Partial Evaluation and Program Manipulation (PEPM)