Photo of Neil Sculthorpe

Contact Details

Email: neil•sculthorpe@ntu•ac•uk
Phone: +44 (0)115 8483509
Address: Erasmus Darwin Building,
Clifton Campus,
Nottingham Trent University,
Clifton Lane,
Clifton,
Nottingham,
NG11 8NS,
United Kingdom

Neil Sculthorpe

Career

I can be found at Nottingham Trent University, where I am a Senior Lecturer in the Department of Computing and Technology, and a member of the Mathematical Aspects of Computer Science research group.

Previously I have been a:

Publications and Talks

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

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

Research

My research field is Programming Languages.

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:

Professional Activities

I am / have been a program committee member for the following symposia:

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

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


Last updated 3rd September 2018.

Valid XHTML 1.0 Strict I'm a Haskeller