Kurt Mehlhorn

Kurt Mehlhorn, direktør for Max Planck Institute for Computer Science ved Saarland University (Foto: Manuela Meyer)

Kurt Mehlhorn (født 29. august 1949 i Ingolstadt ) er en tysk informatiker og universitetsprofessor .

Liv

Kurt Mehlhorn studerte matematikk og informatikk ved Technical University of Munich fra 1968 til 1971 og tok doktorgraden i 1974 fra Cornell University i Ithaca ( New York ) med Robert Lee Constable om temaet "Polynomial and Abstract Subrecursive Classes". Deretter gikk han til Saarland University i Saarbrücken og ble utnevnt til professor i 1975. Han har vært direktør ved Max Planck Institute for Computer Science i Saarbrücken siden 1990 og har vært medlem av Scientific Council of the European Research Council siden august 2016 . Fra 2002 til 2008 var han visepresident for Max Planck Society . I 1995 grunnla han sammen med Stefan Näher og Christian Uhrig Algorithmic Solutions Software GmbH , som blant annet tar for seg videreutvikling og salg av LEDA (Library of Efficient Data Types and Algorithms) programvarebibliotek .

Han giftet seg med Ena Friedrichson i 1972 og har tre barn.

anlegg

Mehlhorn arbeider hovedsakelig med datastrukturer , grafteori , algoritmer , kompleksitetsteori og opprettelse av programbiblioteker .

I 1987 ble han tildelt Leibniz- prisen for sine prestasjoner sammen med Günter Hotz og Wolfgang Paul .

Publikasjoner

Festschrift

  • Susanne Albers (red.): Effektive algoritmer: essays dedikert til Kurt Mehlhorn i anledning hans 60-årsdag , Berlin; Heidelberg; New York, NY: Springer 2009, ISBN 978-3-642-03455-8 .

Priser og medlemskap (utvalg)

weblenker

Individuelle bevis

  1. ^ Matematikk-slektsprosjekt
  2. Siden er ikke lenger tilgjengelig , søk i nettarkiver:@1@ 2Mal: Dead Link / www.mpg.de
  3. se omfattende curriculum vitae på Academia på http://www.ae-info.org/ae/User/Mehlhorn_Kurt/CV
  4. Medlem av Kurt Mehlhorn (med bilde) ved det tyske akademiet for naturvitenskapelige Leopoldina , åpnet 18. juli 2016.
  5. https://www.gfft-portal.de/verein/lösungen/ehrenverbindungen/