Английская Википедия:Gabriele Keller

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Short description Шаблон:Use dmy dates Шаблон:Use list-defined references Шаблон:About 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.

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.Шаблон:R Her dissertation, Transformation-based Implementation of Nested Data Parallelism for Distributed Memory Machines, was supervised by Шаблон:Ill.Шаблон:R

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.Шаблон:R In 2018, she took her present position at Utrecht University, as Professor of Software Technology.Шаблон:R

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.Шаблон:R

Book

Keller is an author of the book An Introduction to Computing with Haskell (Pearson, 2002, with Manuel M. T. Chakravarty).Шаблон:R

References

Шаблон:Reflist

External links

Шаблон:Authority control