| Email: | neil@ittc.ku.edu |
| Phone: | +1 785-864-7704 |
| Address: |
Information and Telecommunication Technology Center, Raymond Nichols Hall, The University of Kansas, 2335 Irving Hill Road, Lawrence, KS 66045 |
| Office: | Room 145B |
Neil Sculthorpe
Contact Details
About Me
I am a Post-Doctoral Researcher in the Functional Programming Group in the Information and Telecommunication Technology Center, at the University of Kansas. I moved here from the University of Nottingham School of Computer Science, where I was a member of the Functional Programming Laboratory.
Research
I'm currently working on the HERMIT project, a scriptable toolkit for the interactive transformation of programs in the internals of the Glasgow Haskell Compiler.
The Worker/Wrapper Transformation, a verification technique for connecting clear specifications to efficient implementations, is being used extensively in HERMIT. I'm interested in developing the underlying theory of the transformation, and finding new applications.
I also maintain the Kansas University Rewite Engine (KURE), an implementation of strategic programming as a Haskell-embedded DSL. The latest version is available on Hackage.
My previous research (and PhD topic) was in the field of Functional Reactive Programming (FRP); in particular considering safety and efficiency for an FRP variant based on a first-class signal-function abstraction (inspired by Yampa).
Publications, Lectures and Talks
My publications, along with any accompanying code or proofs, are all available here. The slides and accompanying code for any talks, presentations or guest lectures I have given are also available. Lecture slides for the modules I taught at the University of Nottingham can be found on my old webpage.
Professional Activities
I am a member of the program committee for the 2013 ACM SIGPLAN Haskell Symposium.
