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

Buys Ballotgebouw
Princetonplein 5
Kamer 5.69
3584 CC Utrecht

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

Software Technology
+31 30 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