Gabriele Keller has recently been appointed as 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 Haskell high-performance array frameworks, including Repa and Accelerate. Her research interests 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.
Talks I've Given
Keynote: Haskell is a Great Host
Featuring Gabriele Keller
Haskell is a great host language for embedded domain specific languages, not least thanks to extensions like generalised algebraic data types, type families, and Template Haskell.variable-binding pattern-matching accelerate type-system haskell functional-programming