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.
I'm speaking at...
Haskell eXchange 2019
Two days in London
Back for an eighth instalment, the Haskell eXchange is an annual conference created for and by the Skills Matter community. An opportunity for Haskellers to meet, learn and share skills, discover emerging technologies and help evolve the Haskell ecosystem. Everyone is welcome to join, whether you...cryptocurrency fp ghc haskell functional-programming types haskellx