Jan van Leeuwen

Professor of Computer Science (em.)

Welcome to my homepage.

Academic information

• S. Barry Cooper and Jan van Leeuwen (Eds), Alan Turing: His Work and Impact, Elsevier (2013).
  Now available.
• a compact cv (to be updated) (pdf)
• ISI - highly cited (html) , math genealogy (html), AI genealogy (entry), wikipedia (entry), ACM (DL), UU directory page.
• recent honors:
  • Dr.h.c. Naturwissenschaften, RWTH Aachen, Aachen, Germany (2008).
  • Distinguished Lorentz fellow 2009-2010, Lorentz Center for the Sciences / Netherlands Institute for Advanced Study.
• boards and councils:
  • member council of: EATCS (until 2012), ACM Europe.
  • vice president of Informatics Europe (until 01-01-2012).
  • president of: European Forum for ICST.
• vice-dean of natural sciences: Faculty of Science (until 1-1-2009; vice-dean for research ad interim: 2011)
• member of
  • advisory council of: Netherlands ICT Research and Innovation Authority (ICTRegie, until 31-12-2010).
  • Foresight Panel, IT University, Copenhagen, Denmark (2008-).
  • Advisory Board, School of Science, Aalto University, Helsinki, Finland (2011-)
• program committees:
  • the committees I serve(d) on: (pdf)
  • current program committees:
    • 6th AISB Symp on Computing and Philosophy - What is Computation?, Exeter, April 2-5, 2013.
• member Turing Centenary Advisory Committee:
  • The Alan Turing Year (2012).
• the Center for Algorithmic Systems , the Center for Philosophy of Computer Science, the Utrecht Research Institute for Information and Computing Sciences.
• homepage of Erik Jan van Leeuwen.
• other professional duties, committees, etc: list1, list2, list3.

Some Recent Talks and Articles

• Recent talks:
  • `Turing's impact on understanding computation', turing100.nl, VvL, Public Library Amsterdam, 2012:
  • `Is cyber security a research job for computer science?', ERCIM Symposium, Sophia Antipolis, 2012:
  • `Role and strategies of the European Public Research Organisations in ICST towards Horizon 2020', ERCIM Symposium, Sophia Antipolis, 2012:
  • `Where to send your paper?', Perspectives Workshop, Dagstuhl, 2012:
  • `Turing's impact on computability and complexity', 100 years Turing, KU Leuven, 2012:
• Recent (popular) articles
  • `Student enrollment and image of the Informatics discipline': (pdf), Informatics Europe, 2007 (van Leeuwen & Tanca).
  • `A fascinating science': (pdf), Utrecht, 2009.
  • `Ultieme informatie', NRC, 18 April 2009: (pdf) (in Dutch).
  • `Leven in de Infosfeer', DiB, jaargang 2 nr 5, 2010: (pdf) (in Dutch).

Teaching

• the courses I taught: pdf
• some courses I taught recently:
  • Algorithmic modelling and complexity
  • Algorithms, games and the internet (seminar on algorithmic game theory)
  • Algorithmic computational biology (seminar on algorithmic computational biology).
• masters-theses (co-)supervised: pdf
• phd-theses (co-)supervised: pdf
• some surveys
  • `Approaches to machine learning', at Philips SOIA Symposium: (ps), (pdf).

Research

• my research interests: ad-hoc networks, algorithms (design and analysis), algorithms-in-context (e.g. in operations research), algorithmic systems, applied algorithmics, computational complexity theory (incl. non-uniform complexity theory), datastructures, discrete optimization, distributed computing, formal methods in computer science, graph-theoretic modeling, graph algorithms, graph theory, information technology, intelligent algorithms, Internet modeling, languages and automata, networks and network modeling, network algorithms, parallel computing, philosophy of computing, theoretical computer science, unbounded computation, and more.

Publications and Reports

• a list of publications: (pdf).
• proceedings, books, and special issues edited: (pdf).
• my technical reports issued by ICS
• Turing book (2013):
  • Alan Turing: His Work and Impact
• Handbook of Theoretical Computer Science (1990):
  • Vol A: Algorithms and Complexity
  • Vol B: Formal Models and Semantics
• some old documents
  • `Having a Grundy-numbering is NP-complete' (1976): (pdf) .
  • `On the construction of Huffman trees' (1976): (pdf) .
  • `The complexity of data organization' (1976): (pdf).
  • `Untangling a traveling salesman tour in the plane' (1980): (pdf).
  • `Trip report SOFSEM 85' (1985): (pdf).
  • `Interval routing' (1987): (pdf).
• a list of my other professional writings, committee reports etc.

Society memberships

• Academia Europaea (European Academy of Sciences).
• Koninklijke Hollandsche Maatschappij der Wetenschappen.

• Association for Computing Machinery (ACM).
• Computability in Europe (CiE).
• European Association for Theoretical Computer Science (EATCS).
• Gesellschaft für Informatik (GI, Plus-Mitglied).
• Koninklijk Wiskundig Genootschap (WG).
• Nederlandse Vereniging voor Theoretische Informatica (NVTI).
• NIAS Fellows' Association (NFA).
• Special Interest Group on Algorithms and Computation Theory (SIGACT).

Honors

• Member of the `Koninklijke Hollandsche Maatschappij der Wetenschappen' (1992-).
• Series Editor, Lecture Notes in Computer Science, Springer-Verlag (1994-2004).
• Great Golden Medal, Comenius University, Bratislava (1996).
• Board member, Schuurman Schimmel-van Outeren Foundation (1998-2010).
• Bolzano Honorary Medal, Academy of Sciences of the Czech Republic, Prague (1999).
• Vice-president, European Association for Theoretical Computer Science (2002-2006).
• Dies speaker, Dies Natalis 2003, Utrecht University (2003), Dies speech.
• ISI rating: Highly Cited.
• Member of the `Academia Europaea' (2006-), section Informatics.
• Board member, Frans-Nederlandse Academie voor Hoger Onderwijs en Onderzoek (Le
  Re'seau Franco-Ne'erlandais de l'Enseignement Supe'rieur et de la Recherche) (2006-2009).
• Gedenkpenning, Fonds voor Wetenschappelijk Onderzoek (FWO Vlaanderen), Brussels (2007).
• Dr.h.c. Naturwissenschaften, RWTH Aachen, Aachen, Germany (2008).
• Distinguished Lorentz Fellowship Prize, Lorentz Center for the Sciences / Netherlands Institute for Advanced Study, 2009-2010.
• Order of Orange-Nassau (Officer), Royal honour, April 30, 2009.
• Valediction, Utrecht University (2011): speech.

Editorships and related duties

• consulting editor , International Computer Science Series, Addison-Wesley Publishing Company (Europe), 1981-1991.
• advisor, European Publishing Program in Computer Science, Addison-Wesley Publishing Company (Amsterdam), 1985-1991.
• member editorial board, SIAM Journal on Computing, 1982-1985.
• member editorial board, Information and Control, 1982-1987.
• member editorial board, Theoretical Computer Science(TCS), 1990-1995.
• series editor, Lecture Notes in Computer Science, Springer-Verlag, Heidelberg, 1994-2004.
• chairman editorial council (`redactieraad'), Utrecht University Newspaper (`Ublad'), Utrecht University, 2000-2004.
• member advisory panel, book series Theory and Applications of Computability, CiE and Springer-Verlag, 2009-.

Cultural aspects of computer science

• Computer science literature (culture)
• Research milestones of MIT's Lab for Computer Science (1945 - 1998).
• As we may think (Vannevar Bush, 1945), Science - The endless frontier (Vannevar Bush, 1945).
• You and your research (Richard Hamming, 1986).
• Science matters (Blair, 2002).
• BT's technology timeline till 2030 and beyond (version 2002).
• History of computer science (Wikipedia).

Recent image

(Utrecht, 2010)

(from SOFSEM 2007, by Maria Bielikova).

(from EIT Symposium, Tilburg, 2007)

(from SOFSEM 2009, Spindleruv Mlyn)

Disclaimer