Keith Wansbrough's Project Page
I am keen to supervise projects relating to any or all of the
following:
- programming languages
- semantics
- functional programming
- distributed, secure, and/or mobile systems
- types and type-based analysis
- compilers
- Haskell
I am flexible, however, so feel free to suggest something different.
For a list of suggested projects, see our group's
list, or contact me by email.
[Return to home page]
Document: http://www.cl.cam.ac.uk/users/kw217/projects/index.html
Last updated: Wed, 15 Sep 2004 17:41:15 BST
Author: KSW
<kw217@cl.cam.ac.uk>.