Jan van Leeuwen (computer scientist)

from Wikipedia, the free encyclopedia

Jan van Leeuwen (born December 17, 1946 in Waddinxveen ) is a Dutch theoretical computer scientist .

Life

Van Leeuwen completed his Doctoraalexaman in 1969 and received his doctorate in 1972 from the University of Utrecht under Dirk van Dalen (Rule-Labeled Programs: A Study of a Generalization of Context-Free Grammars and Some Classes of Formal Languages). As a post-doctoral student he was at the University of California, Berkeley and in 1973/74 and 1975/76 he was an assistant professor at the State University of New York in Buffalo. In 1976/77 he was Associate Professor at the University of Pennsylvania and since 1977 Professor of Computer Science at the University of Utrecht. From 1977 to 1983 and 1991 to 1994 he headed the faculty and from 1994 to 2009 he was dean of the departments of computer science and mathematics.

He has been a member of the Royal Netherlands Academy of Sciences since 1992 and of the Academia Europaea since 2006 . On December 1, 2011 he retired from his professorship. In 2008, as one of the pioneers of algorithms , he received an honorary doctorate from the Rheinisch-Westfälische Technische Hochschule Aachen .

Van Leeuwen was editor of the Handbook of Theoretical Computer Science. In 1996 he received the gold medal of the Comenius University in Bratislava and in 1999 the Bolzano medal of the Czech Academy of Sciences. From 2009 to 2010 he was a Lorentz Fellow.

Mark Overmars is one of his PhD students .

Works (selection)

Jan van Leeuwen has written more than 150 essays on the design and analysis of computer algorithms, including among other things complexity theory .

  • Handbook of Theoretical Computer Science, Vol A: Algorithms and Complexity , Elsevier Science Publ / MIT Press, 1990, also Japanese 1994
  • Handbook of Theoretical Computer Science, Vol B: Formal Models and Semantics , Elsevier Science Publ / MIT Press, 1990
  • Computer Science Today , Lecture Notes in Computer Science Vol 1000, special anniversary volume, Springer-Verlag, 1995
Editorships
  • with S. Barry Cooper: Alan Turing : His Work and Impact, Elsevier 2013

Web links

  • Homepage
  • Leeuwen in the Catalogus Professorum Academiae Rheno-Traiectinae

Individual evidence

  1. ↑ Jan van Leeuwen in the Mathematics Genealogy Project (English)Template: MathGenealogyProject / Maintenance / id used
personal data
SURNAME Leeuwen, Jan van
BRIEF DESCRIPTION Dutch computer scientist
DATE OF BIRTH December 17, 1946
PLACE OF BIRTH Waddinxveen