Home Page
I am a 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
- Functional Programming - Most things I do involve Haskell in some way. 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).
- Static Analysis - It's annoying and unhelpful when a program crashes. What if all crashes could be eliminated? What if the number of crashes could be reduced. How much work would a programmer be prepared to do in order to get greater safety guarantees about their code? (read more)
- Regular Expressions - Everything I do seems to come back to regular expressions. They are simple but have a deep inner beauty. I am interested in simplifying them (read more), evaluating them and using them in larger projects.
- 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).
Contact Details
Email: ndm AT cs DOT york DOT ac DOT uk (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