Software Technology Group at Utrecht University
Gabriele Keller is the chair of the Software Technology Group at Utrecht University. Before moving to the Netherlands, 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 Haskell, and is one of the co-authors of the paper ”Associated Type Synonyms”, which won the ACM SIGPLAN Most Influential ICFP Paper Award. She co-developed leading Haskel high-performance array frameworks, including Repa and Accelerate. Her research interest are 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.