Gabriele Cornelia Keller is a computer scientist whose research concerns type systems and data parallelism in functional programming.
Educated in Germany, she has worked in Australia, the US, and the Netherlands, where she is Professor of Software Systems at Utrecht University.
Keller earned a degree in computer science from Technische Universität Berlin in 1995, and after working in the German software industry, completed a doctorate (Dr. Ing.
[1] Her dissertation, Transformation-based Implementation of Nested Data Parallelism for Distributed Memory Machines, was supervised by Stefan Jähnichen [de].
[3] Keller's work with Manuel M. T. Chakravarty and Simon Peyton Jones developing a system for type families and type-level programming in Haskell won the Most Influential ICFP Paper Award of ACM SIGPLAN, ten years after its publication in 2005.