Home Page
I am an EPSRC funded PhD student in the Computer Science Department at the University of York, England, in the Programming Languages and Systems Research Group (PLASMA), and am supervised by Colin Runciman. I have an MEng in Computer Systems and Software Engineering from York. This website relates only to my academic work, for personal information on me see www.nmitchell.co.uk. I have a few notes on the department, and how to do things.
Research Interests
My main research interest is functional programming, typically using the Haskell programming language.
- Program Transformation - I have a strong interest in program transformation and analysis (read more). In particular I am intersested in making certain types of static analysis more applicable (read more), and developing new techniques to eliminate program crashes (read more). I am also interested in improving the performance of programs (read more).
- Programmer Support - I have a particular desire to see Windows supported as standard by all the Haskell tools and libraries. I have rewritten WinHugs (read more), am the main Windows developer on the Yhc team (read more), and would like to see a Windows GUI for Yhc/GHC (read more). I am also interested in creating tools to make functional programming easier, such as API search tools (read more), programmer support tools (read more) and general libraries (read more).
- Parsing - I think parsing as it stands could be far better. I have many ideas of improvements to parsing technology, including faster and more easily specified parser generators in a language independant way (read more). I also have time complexity improvements to existing phases of existing parser systems (read more). Much of this work revolves around regular expressions, and their simplification (read more).
Contact Details
Email: ndmitchell AT gmail DOT com (read more)
Internal Phone: 2713
External Phone: (01904) 432713
Location: CS210B, Desk 13
Address: Neil Mitchell (Postgrad), Department of Computer Science, University of York, YORK YO10 5DD