Gabriele Keller

Last updated

Gabriele Cornelia Keller is a computer scientist whose research concerns type systems and data parallelism in functional programming. Educated in Germany, she has worked in Australia, the US, and the Netherlands, where she is Professor of Software Systems at Utrecht University.

Contents

Education and career

Keller earned a degree in computer science from the Technical University of Berlin in 1995, and after working in the German software industry, completed a doctorate (Dr. Ing. at the Technical University of Berlin in 1999. [1] Her dissertation, Transformation-based Implementation of Nested Data Parallelism for Distributed Memory Machines, was supervised by Stefan Jähnichen  [ de ]. [2]

She became a lecturer at the University of Technology Sydney in Australia from 1999 to 2001, when she moved to the University of New South Wales. She was senior lecturer there from 2001 to 2013 (on leave in 2006 as a vice president at Credit Suisse in New York), and associate professor from 2014 to 2018. [1] In 2018, she took her present position at Utrecht University, as Professor of Software Technology. [3]

Recognition

Keller's work with Manuel M. T. Chakravarty and Simon Peyton Jones developing a system for type families and type-level programming in Haskell won the Most Influential ICFP Paper Award of ACM SIGPLAN, ten years after its publication in 2005. [4]

Book

Keller is an author of the book An Introduction to Computing with Haskell (Pearson, 2002, with Manuel M. T. Chakravarty). [5]

Related Research Articles

SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.

Lennart Augustsson is a Swedish computer scientist. He was formerly a lecturer at the Computing Science Department at Chalmers University of Technology. His research field is functional programming and implementations of functional programming languages.

<span class="mw-page-title-main">Matthias Felleisen</span> German-American computer science professor and author

Matthias Felleisen is a German-American computer science professor and author. He grew up in Germany and immigrated to the US in his twenties. He received his PhD from Indiana University under the direction of Daniel P. Friedman.

<span class="mw-page-title-main">Philip Wadler</span> American computer scientist

Philip Lee Wadler is a UK-based American computer scientist known for his contributions to programming language design and type theory. He is the chair of theoretical computer science at the Laboratory for Foundations of Computer Science at the School of Informatics, University of Edinburgh. He has contributed to the theory behind functional programming and the use of monads; and the designs of the purely functional language Haskell and the XQuery declarative query language. In 1984, he created the Orwell language. Wadler was involved in adding generic types to Java 5.0. He is also author of "Theorems for free!", a paper that gave rise to much research on functional language optimization.

<span class="mw-page-title-main">Simon Peyton Jones</span> British computer scientist (born 1958)

Simon Peyton Jones is a British computer scientist who researches the implementation and applications of functional programming languages, particularly lazy functional programming.

The International Conference on Functional Programming (ICFP) is an annual academic conference in the field of computer science sponsored by the ACM SIGPLAN, in association with IFIP Working Group 2.8. The conference focuses on functional programming and related areas of programming languages, logic, compilers and software development.

Matthew Flatt is an American computer scientist and professor at the University of Utah School of Computing in Salt Lake City. He is also the leader of the core development team for the Racket programming language.

<span class="mw-page-title-main">George Necula</span> Romanian computer scientist

George Ciprian Necula is a Romanian computer scientist, engineer at Google, and former professor at the University of California, Berkeley who does research in the area of programming languages and software engineering, with a particular focus on software verification and formal methods. He is best known for his Ph.D. thesis work first describing proof-carrying code, a work that received the 2007 SIGPLAN Most Influential POPL Paper Award.

Haskell is a general-purpose, statically-typed, purely functional programming language with type inference and lazy evaluation. Designed for teaching, research, and industrial applications, Haskell has pioneered a number of programming language features such as type classes, which enable type-safe operator overloading, and monadic input/output (IO). It is named after logician Haskell Curry. Haskell's main implementation is the Glasgow Haskell Compiler (GHC).

<span class="mw-page-title-main">Paul Hudak</span> American computer scientist

Paul Raymond Hudak was an American musician and professor of computer science at Yale University who was best known for his involvement in the design of the programming language Haskell, and for several textbooks on Haskell and computer music. He was a chair of the department, and was also master of Saybrook College. He died on April 29, 2015, of leukemia.

<span class="mw-page-title-main">F* (programming language)</span> Functional programming language inspired by ML and aimed at program verification

F* is a high-level, multi-paradigm, functional and object-oriented programming language inspired by the languages ML, Caml, and OCaml, and intended for program verification. It is a joint project of Microsoft Research, and the French Institute for Research in Computer Science and Automation (Inria). Its type system includes dependent types, monadic effects, and refinement types. This allows expressing precise specifications for programs, including functional correctness and security properties. The F* type-checker aims to prove that programs meet their specifications using a combination of satisfiability modulo theories (SMT) solving and manual proofs. For execution, programs written in F* can be translated to OCaml, F#, C, WebAssembly, or assembly language. Prior F* versions could also be translated to JavaScript.

In computer science, a type family associates data types with other data types, using a type-level function defined by an open-ended collection of valid instances of input types and the corresponding output types.

<span class="mw-page-title-main">Kathryn S. McKinley</span> American computer scientist

Kathryn S. McKinley is an American computer scientist noted for her research on compilers, runtime systems, and computer architecture. She is also known for her leadership in broadening participation in computing. McKinley was co-chair of CRA-W from 2011 to 2014.

<span class="mw-page-title-main">Kathleen Fisher</span> American computer scientist

Kathleen Shanahan Fisher is an American computer scientist who specializes in programming languages and their implementation.

Simon Marlow is a British computer scientist, programmer, author, and co-developer of the Glasgow Haskell Compiler (GHC) for the programming language Haskell. He and Simon Peyton Jones won the SIGPLAN Programming Languages Software Award in 2011 for their work on GHC. Marlow's book Parallel and Concurrent Programming in Haskell was published in July 2013.

Futhark is a multi-paradigm, high-level, functional, data parallel, array programming language. It is a dialect of the language ML, originally developed at UCPH Department of Computer Science (DIKU) as part of the HIPERFIT project. It focuses on enabling data parallel programs written in a functional style to be executed with high performance on massively parallel hardware, especially graphics processing units (GPUs). Futhark is strongly inspired by NESL, and its implementation uses a variant of the flattening transformation, but imposes constraints on how parallelism can be expressed in order to enable more aggressive compiler optimisations. In particular, irregular nested data parallelism is not supported. It is free and open-source software released under an ISC license.

Simon Thompson is a research computer scientist, author, and an emeritus professor of the University of Kent, specializing in logic and computation. His research into functional programming covers software verification and validation, programming tool-building, and software testing for the functional programming languages Erlang, Haskell, and OCaml. He is the author of books on data type theory, Miranda, Haskell, and Erlang, and runs a massive open online course about Erlang for FutureLearn.

Julia Laetitia Lawall is a computer scientist specializing in programming languages. Educated in the US, she has worked in the US, Denmark, and France, where she is a director of research for Inria. She is one of the developers of Coccinelle, a tool for finding patterns and making systematic transformations of source code, and she has also done research on domain-specific languages for operating systems.

References

  1. 1 2 Short CV, Utrecht University, retrieved 2024-03-06
  2. ↑ Gabriele Keller at the Mathematics Genealogy Project
  3. ↑ Gabriele Keller new Professor of Software Technology in Utrecht, Utrecht University, 6 July 2018, retrieved 2024-03-06
  4. ↑ Most Influential ICFP Paper Award, ACM SIGPLAN, retrieved 2024-03-06
  5. ↑ Thomas, Mike (January 2004), Review of An Introduction to Computing with Haskell, vol. 14, Cambridge University Press (CUP), pp. 247–249, doi:10.1017/s0956796803215033
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.