Neil Sculthorpe

Career

I can be found at Nottingham Trent University, where I am a Senior Lecturer in the Department of Computer Science.

Previously I have been a:

• Post-Doctoral Researcher in the Centre for Software Language Engineering at the Royal Holloway, University of London Department of Computer Science (2015–2016);

• Post-Doctoral Research Assistant in the Theory Group at the Swansea University Department of Computer Science (2014–2015);

• Post-Doctoral Researcher in the Functional Programming Group at the University of Kansas Information and Telecommunication Technology Center (2012–2013);

• PhD student in the Functional Programming Laboratory at the University of Nottingham School of Computer Science (2006–2011).

Publications and Talks

My publications, along with any accompanying code or proofs, are available here:

• Publications

The slides and accompanying code for any talks, presentations or guest lectures I have given are available here:

• Presentations and Talks

Research

Research Interests

Functional Programming, Operational Semantics, Denotational Semantics, Type Systems, Equational Reasoning, Program Transformation, Functional Reactive Programming, Domain-Specific Languages, Continuations.

Research Topics

My research has included:

• The PLanCompS project: developing a component-based semantic framework based on Modular Structural Operational Semantics. Case studies included specifying the formal semantics of:

  • Caml Light
  • Delimited Continuations
  • SIMPLE
  • C Sharp (work in progress)

• The HERMIT project, a scriptable toolkit for interactively transforming and reasoning about programs in the internals of the Glasgow Haskell Compiler.

• Investigating solutions to the Constrained-Monad Problem.

• Developing the theory of the Worker/Wrapper Transformation, a program-transformation technique for connecting clear specifications to efficient implementations.

• Implementing the Kansas University Rewite Engine (KURE), a Haskell-embedded strategic programming language. I maintain the latest version, which is available on Hackage.

• My PhD topic was Functional Reactive Programming (FRP); in particular considering safety and efficiency for an FRP variant based on Arrowised FRP (inspired by Yampa).

Professional Activities

I have been a program committee member for the following conferences:

• 2024 Haskell Symposium (HASKELL)

• 2023 International Conference on Software Language Engineering (SLE)

• 2020 Workshop on Reactive and Event-based Languages & Systems (REBLS)

• 2019 International Conference on Software Language Engineering (SLE)

• 2018 Symposium on Trends in Functional Programming (TFP)

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

• 2015 Symposium on Trends in Functional Programming (TFP)

• 2013 Haskell Symposium (HASKELL)

I have been a reviewer for the following journals and conferences:

• Journal of Functional Programming (JFP)

• Science of Computer Programming (SCP)

• Journal of Computer Languages (COLA)

• Symposium on Principles of Programming Languages (POPL)

• International Conference on Functional Programming (ICFP)

• International Conference on Software Language Engineering (SLE)

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

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