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.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 (Accelerate and Repa Haskell packages) and safety critical systems (Trustworthy Systems Project, Data61).