Prof. dr. G.K. (Gabriele) Keller

Buys Ballotgebouw
Princetonplein 5
Kamer 5.69
3584 CC Utrecht

Prof. dr. G.K. (Gabriele) Keller

Software Technology
030 253 6652

Research Interests

My main research interests are functional programming, type systems, high-performance computing, and programming language based approaches to verification.

I'm also interested in teaching of functional programming, and have co-authored the (still incomplete) Learning Haskell Tutorial together with Manuel Chakravarty.

Current projects

  • Accelerate: a domain specific language for parallel computing embedded in Haskell
  • Cogent: reducing the cost of software verification.