Neil Sculthorpe

Neil Sculthorpe

Lecturer/Senior Lecturer

Computing and Technology

Staff Group(s)
Computing and Technology

Role

Dr Neil Sculthorpe is the Course Leader for the MSc Computing Systems course.  His teaching includes leading 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)