|
|
Dr. David J. King Department of Computing Science University of Glasgow Glasgow G12 8QQ
|
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.
|
David J. King gnik@dcs.gla.ac.uk |
Go Links |
Crime Fiction |