The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
I also keep a list of external talks, mostly with slides.
I belong to the following research groups:
All my research interests are connected to programming and programming languages. I am interested in semantics and theoretical foundations of programming languages, type theory, program transformation, compiler construction, message-passing-based concurrency, programming tools, and how to write programs. I aim to support programmers in developing software more effectively. My favourite programming languages are functional languages, especially Haskell. Recently I became more interested in Erlang.
- Tracing and debugging functional programs (Haskell tracer Hat)
- Contracts for lazy typed functional languages
- Better type errors for the Hindley-Milner type system
- Efficient simple pretty printing combinators
- HEAT: An IDE for teaching Haskell
- A concurrent functional language for programming robots
- Attending The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007); Royal Society Conference Grant 2007R3, November / December 2007.
- A Concurrent Functional Programming Language for Robots; Nuffield Science Bursary for Undergraduate Research, June - August 2007.
- A Theory of Tracing Pure Functional Programs; EPSRC EP/C516605/1, April 2005 - October 2007.
Professional ActivitiesProgramme committees:
- PC member of the 6th International Conference on Software Language Engineering, SLE 2013; Indianapolis, USA, 26-28 October, 2013.
- PC member of the 18th ACM SIGPLAN International Conference on Functional Programming, ICFP 2013; Boston, USA, 25-27 September, 2013.
- PC member of the ACM SIGPLAN Haskell Symposium 2013; Boston, USA, September, 2013.
- PC member of the 23rd Symposium on Implementation and Application of Functional Languages, IFL 2011;University of Kansas in Lawrence, KS, USA, October 3-5, 2011.
- PC member of the Conference on Domain-Specific Languages, DSL2011; Bordeaux, France, 6-8 September, 2011.
- PC member of the 20th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2011; Odense, Denmark, July 19, 2011.
- PC member of the 12th International Symposium on Trends in Functional Programming (TFP '11); Madrid, Spain, 16-18 May, 2011.
- PC member of the 22nd Symposium on Implementation and Application of Functional Languages, IFL 2010; Alphen aan den Rijn, The Netherlands,1-3 September, 2010.
- PC member of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL '10; Madrid, Spain, 18-19 January 2010.
- PC member of the 20th International Symposium on Implementation and Application of Functional Languages, IFL 2008;University of Hertfordshire, United Kingdom, 10-12 September 2008.
- PC chair of the 19th International Symposium on Implementation and Application of Functional Languages, IFL 2007; Freiburg, Germany, 26-28 September 2007.
- PC member of the seventh Symposium on Trends in Functional Programming (TFP 2006); Nottingham, UK, 19 - 21 April, 2006.
- PC member of the Workshop on Curry and Functional Logic Programming (WCFLP 2005); Tallinn, Estonia, September 29, 2005.
- PC member of the 13th International Workshop on Functional and (Constraint) Logic Programming, WFLP'04; Aachen, Germany, June 1-2, 2004.
- PC member of the 2003 Haskell Workshop; Uppsala, Sweden, August 28, 2003.
- PC member of the 12th International Workshop on Functional and (Constraint) Logic Programming, WFLP'03; Valencia, Spain, June 12-13, 2003.
- PC member of the International Workshop on Implementation of Functional Languages, IFL 2002;Madrid, Spain, September 16-18, 2002.
- PC member of the International Workshop on Implementation of Functional Languages, IFL 2001; Stockholm, Sweden, September 24-26, 2001.
Do you want to do a PhD? Are you interested in functional programming languages or related topics? Then I would be pleased to hear from you. I have a list of some research topic suggestions.
- Hat is a source-level tracer for Haskell. Often, programmers find it difficult to understand how the different parts of a program cause the computation to perform the observed input/output actions. Hat enables a user to see and interactively explore the usually invisible computation. Thus Hat assists with debugging, understanding complex programs (which we may not have written ourselves) and is useful for teaching.
- A library for practical typed lazy contracts for Haskell
- MonadicPromptLazyAssertions is a Haskell library for writing assertions that are both prompt and lazy. Properties are formulated in a monadic, parser-combinator-like language. See the APLAS 2007 paper for further information.
- StrictCheck is a tool that tests whether a given Haskell function is least-strict. If it is not, StrictCheck suggests how the function could be less strict. This work is in an early state. See my IFL 2006 paper, slides and later technical report for further information. I'd be happy to hear your thoughts about it. Chasing Bottoms library and the Glasgow Haskell compiler.
- COOSy is a library plus viewing tool for lightweight debugging of functional logic programs in Curry by observations. The programmer annotates expressions of interest in their program. With the viewing tool the programmer then views the values the annotated expressions have in a computation.
- TypeIlluminator is a prototype tool implementing the ideas presented in the paper Compositional Explanation of Types and Algorithmic Debugging of Type Errors. It constructs the type explanation graph for programs written in a simple Haskell-like language and enables free navigation through the graph in various ways and algorithmic debugging.
- FPretty is a Haskell library for pretty printing. The library has the same interface as that of Wadler. It is very efficient, in contrast to Wadler's library and the one by John Hughes and Simon Peyton Jones the pretty printer only takes time linear in the size of the printed document; it does not do any backtracking. This version is based on the latest papers by Doaitse Swierstra and me but provides additional combinators following PPrint by Daan Leijen.
Together with Bob Eager I am responsible for undergraduate admissions. I am the departmental European exchange coordinator and generally look after all our short-term students. I am the departmental library representative.
- CO884 - Logic and Logic Programming
- CO520 - Further Object Oriented Programming
- CO537/CO326 - Functional Programming
And therefore education at the University mostly worked by the age-old method of putting a lot of young people in the vicinity of a lot of books and hoping that something would pass from one to the other, while the actual young people put themselves in the vicinity of inns and taverns for exactly the same reason.
Terry Pratchett, Interesting Times
`Students?' barked the Archchancellor.
`Yes, Master. You know? They're the thinner ones with the pale faces? Because we're a university? They come with the whole thing, like rats -'.
Terry Pratchett, Moving Pictures
`What sort of people would we be if we didn't go into the Library?'
Terry Pratchett, The Last Continent
Short CVI started studying computer science at the RWTH Aachen in 1989. I spent the academic year 1992/93 as an Erasmus exchange student at the University of Kent at Canterbury. I graduated in Aachen in June 1995, writing a dissertation about semantics of functional programs. From August 1995 to May 2000 I was employed as research & teaching assistant at the Lehrstuhl für Informatik II at the RWTH Aachen. There I obtained my PhD with a thesis about type-based deforestation of functional programs. Afterwards I came to the University of York as a research associate. Together with Colin Runciman and Malcolm Wallace I developed the Haskell tracer Hat. In 2002 I became a teaching fellow in York. In 2004 I became lecturer at the University of Kent.
As the Lecturer [...] put it: `He [the Archchancellor] called me in and asked me what I did, exactly. Have you ever heard of such a thing? What sort of question is that? This is a university!'Besides computer science I enjoy walking, reading, gardening (recent!), bicycle-riding, visiting historical sites and travelling in general.
Terry Pratchett, The Last Continent