Gabriele Keller

Gabriele Keller is the chair of the Software Technology Group at Utrecht University. Before moving to the Netherlands in 2018, she co-founded the Programming Languages & Systems Group at the University of New South Wales, and was a Principal Researcher at Data6 (formerly NICTA) in the Trustworthy Systems project.

She contributed to the design of type families in Haskel. She co-developed leading Haskel high-performance array frameworks, including Repa and Accelerate. Her research interest include type systems, functional languages, and how these languages can be used to reduce the costs of software development, in particular in the context of high-performance computing and safety critical systems.