Dr. David J. King Department of Computing Science University of Glasgow Glasgow G12 8QQ Tel: Fax: E-mail: +44 (0)141 339 8855 x 2050 +44 (0)141 330 4913 gnik@dcs.gla.ac.uk

Hello and welcome to my home page. I'm a Research Assistant in the Computing Science Department at Glasgow University. I work with John O'Donnell on an EPSRC funded project. The goal of our work is to extend Haskell (a functional programming language) to work on supercomputers.

My main research interests are with Functional Programming and Formal Methods. Follow the links to find out more about this Department's activities in these areas.

My PhD was completed here (March, 1996). The thesis has the title: Functional Programming and Graph Algorithms, and is available from my publications page.

Other stuff ...

• Crime Fiction - Some information on my favourite Crime Fiction Writers.

• Go - Some odds and ends I've put together about the game of Go.

• Bookmarks - My bookmarks page.

David J. King gnik@dcs.gla.ac.uk

Go Links

Crime Fiction