Å·ÃÀ¾ÞÈé

Skip to content
Neil Sculthorpe

Neil Sculthorpe

Senior Lecturer

Computer Science

Staff Group(s)
Computer Science

Role

Dr Neil Sculthorpe is the Course Leader for the MSc Software Engineering course.  His teaching includes leading the Software Engineering and Advanced Software Engineering modules at undergraduate level, and the Fundamentals of Software Programming module at postgraduate level.

Career overview

Neil’s previous research positions have included:

  • Post-Doctoral Researcher in the at the Royal Holloway, University of London (2015-2016);
  • Post-Doctoral Research Assistant in the at the Swansea University (2014-2015);
  • Post-Doctoral Researcher in the at the University of Kansas (2012-2013);
  • PhD student in the at the University of Å·ÃÀ¾ÞÈé (2006-2011).

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, with accompanying supplementary materials (source code, proofs, extended versions etc.) are available on .

Specific research projects have included:

  • The PLanCompS project: developing a based on .  Case studies included specifying the formal semantics of:
    • C Sharp (work in progress)
  • The , a scriptable toolkit for interactively transforming and reasoning about programs in the internals of the .
  • Investigating solutions to the .
  • Developing the theory of the , a program-transformation technique for connecting clear specifications to efficient implementations.
  • Implementing the , a Haskell-embedded strategic programming language.  Neil maintains the latest version, which is available on .
  • A PhD on the topic of ; in particular considering safety and efficiency for an FRP variant based on Arrowised FRP (inspired by ).

External activity

Program committee member for:

  • 2017 Symposium on Implementation and Application of Functional Languages (IFL)

Reviewer for:

  • Journal of Functional Programming (JFP)
  • Science of Computer Programming (SCP)
  • Journal of Computer Languages (COLA)
  • Symposium on Principles of Programming Languages (POPL)
  • Å·ÃÀ¾ÞÈé Conference on Functional Programming (ICFP)
  • Å·ÃÀ¾ÞÈé 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)
  • Symposium on Trends in Functional Programming (TFP)
  • Workshop on Mathematically Structured Functional Programming (MSFP)
  • Workshop on Partial Evaluation and Program Manipulation (PEPM)
  • Eelco Visser Commemorative Symposium (EVCS)

Course(s) I teach on