Jan van Leeuwen (informaticus)

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

Jan van Leeuwen (1946) is een Nederlandse informaticus en professor aan het Department of Information and Computing Sciences van de Universiteit Utrecht.[1]

Van Leeuwen voltooide zijn studie wiskunde aan de Universiteit Utrecht in 1967, en ontving een Ph.D. in wiskunde in 1971 van hetzelfde instituut onder de supervisie van Dirk van Dalen.[1][2] Na postdoctorale studies aan de University of California, Berkeley en facultaire posities aan de Stony Brook University en Pennsylvania State University, keerde hij terug naar Utrecht als een lid van de faculteit in 1977. Hij was hoofd van zijn departement van 1977 tot 1983, en opnieuw van 1991 tot 1994, en decaan van 1994 tot 2009.[1] Onder zijn doctorale studenten bevindt zich collega lid van de faculteit en vermeldenswaardig game software developer Mark Overmars.[2]

Van Leeuwen is een ISI gecertificeerde onderzoeker.[3] Sinds 1992 is hij lid van het Koninklijke Hollandsche Maatschappij der Wetenschappen, en in 2006 werd hij verkozen tot de Academia Europaea.[1][4]

Eind 2011 zal Prof. Dr. Jan van Leeuwen met emeritaat gaan. Op 20 december 2011 hield hij een afscheidsrede in de Aula van het Academiegebouw aan het Domplein, Utrecht. [5]

Zijn zoon, Erik Jan van Leeuwen, is ook een academisch computer wetenschapper, op het moment is hij een postdoctoraal onderzoeker aan de University of Bergen, Noorwegen.[6] Hij heeft samen met zijn vader al diverse papers geschreven op gebied van algoritmische systemen. [7]

Publicaties[bewerken]

  • Handbook of Theoretical Computer Science, Vol A: Algorithms and Complexity, Elsevier Science Publ/MIT Press, 1990 (1004 pagina's)[8]
  • Handbook of Theoretical Computer Science, Vol B: Formal Models and Semantics, Elsevier Science Publ/MIT Press, 1990 (1280 pagina's).[8]

(Beide delen in het Japanes vertaald door Maruzen, 1994.)[1]

  • Computer Science Today, Lecture Notes in Computer Science Vol 1000, special anniversary volume, Springer-Verlag, 1995 (641 pagina's).[8]

Verder heeft Jan van Leeuwen meer dan 150 papers geschreven, over het design en de analyse van computer algoritmes.[1] Hij heeft ook onder andere voor het NRC Handelsblad geschreven en hij heeft artikelen geschreven over de open problemen in de Computationele complexiteitstheorie[9]

Externe link[bewerken]

Bronnen, noten en/of referenties