Gabriele Keller

Gabriele Keller

Associate Professor
UNSW Australia
location_on Australia

Member since 1 year

Share

Gabriele Keller

Specialises In
practice

Gabriele Keller is also a Principal Researcher at Data61 (formerly NICTA) in the Trustworthy Systems project. 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.

She contributed to the design of type families in Haskell, and is one of the co-authors of the paper ””Associated Type Synonyms”“, which recently won the ACM SIGPLAN Most Influential ICFP Paper Award.