Jan van Leeuwen (informaticus)

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

Jan van Leeuwen (1946) is een Nederlandse informaticus en Emeritus 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 is Jan van Leeuwen met emeritaat gegaan. 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]
  • Computer Science Today, Lecture Notes in Computer Science Vol 1000, special anniversary volume, Springer-Verlag, 1995 (641 pagina's).

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
  1. a b c d e Curriculum vitae, op 2011-03-28.
  2. a b Jan van Leeuwen op het Mathematics Genealogy Project
  3. ISI, op 2011-03-28.
  4. Academia Europaea Informatics Section, op 2011-03-28.
  5. Agenda Departement Informatica, bezocht op 5 juli 2011
  6. Onderzoekers-profiel Universiteit van Bergen, op 2011-06-20.
  7. Lijst met publicaties van Erik Jan van Leeuwen
  8. a b In het Japanes vertaald door Maruzen, 1994.
  9. Lijst met een aantal publicaties