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 Technische Universität Berlin in 1995, and after working in the German software industry, completed a doctorate (Dr. Ing. at Technische Universität 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

The Glasgow Haskell Compiler (GHC) is a native or machine code compiler for the functional programming language Haskell. It provides a cross-platform software environment for writing and testing Haskell code and supports many extensions, libraries, and optimisations that streamline the process of generating and executing code. GHC is the most commonly used Haskell compiler. It is free and open-source software released under a BSD license. The lead developers are Simon Peyton Jones and Simon Marlow.

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 Bloomington 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 holds the position of Personal 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.

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.

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.

Bernd Bruegge is a German computer scientist, full professor at the Technische Universität München (TUM) and the head of the Chair for Applied Software Engineering. He is also an adjunct associate professor at Carnegie Mellon University (CMU) in Pittsburgh.

<span class="mw-page-title-main">José Luis Encarnação</span> Portuguese university teacher

José Luis Moreira da Encarnação is a Portuguese computer scientist, Professor Emeritus at the Department of Computer Science of the Technische Universität Darmstadt in Germany and a senior technology and innovation advisor to governments, multinational companies, research institutions and organizations, and foundations. He is involved in the development of research agendas and innovation strategies for socio-economic development with a focus on emerging economies. He is also a member of the Topical Network Information and Communication Technology (ICT) and ICT-related activities of the German National Academy of Science and Engineering (acatech) and the German Berlin-Brandenburg Academy of Sciences and Humanities (BBAW). He is an elected member of the ACM SIGGRAPH Academy (USA).

<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.

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.

Mira Mezini is a German computer scientist and Professor of Computer Science at the Department of Computer Science of the Technische Universität Darmstadt. She heads the software engineering group.

Hartmut Ehrig was a German computer scientist and professor of theoretical computer science and formal specification. He was a pioneer in algebraic specification of abstract data types, and in graph grammars.

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.

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.