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).
  
  • Available (see picture.)
    
  • The book received the R.R. Hawkins Award 2013, see PROSE Awards 2013, also Elsevier, ACM.
• a compact cv: (pdf)
• academic profiles:
  • ACM (DL), Amazon (page), IdRef (notice), ISNI (record), LibC (record), Math genealogy (html), MathSciNet (profile), Research.com (page),
  • Scholar (html), Scopus (profile), UU (directory), VIAF (file), Wikidata (item), Wikipedia (entry), zbMATH (profile).
• recent honors:
  • ACM Distinguished Service Award 2013 (ACM, Springer - LNCS, video) .
  • Distinguished Lorentz fellow 2009-2010, Lorentz Center / Netherlands Institute for Advanced Study (NIAS).
  • Dr.rer.nat. h.c. (Naturwissenschaften), RWTH Aachen, Aachen, Germany (2008).
• former series editor of:
  • Lecture Notes in Computer Science, Springer-Verlag (with G. Goos and J. Hartmanis).
• external member of
  • Karel Čapek Center for Values in Science and Technology (Prague)
• philosophy of computation:
  • Joint Papers on Computation (Jan van Leeuwen and Jiří Wiedermann)
  • Philosophy of Computer Science.
• some boards and councils (recent):
  • Turing centenary advisory committee: The Alan Turing Year (2012).
  • Council of: EATCS (until 2012), ACM Europe (until 2013).
  • Past vice president of: Informatics Europe, past 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)
  • Advisory Council (`Beirat'), Fakultät für Informatik, Technische Universität München (2000-2014).
  • Foresight Panel, IT University, Copenhagen, Denmark (2008-2015).
  • Advisory Council, NIAS-Lorentz program (2014-2017).
  • Advisory Board, School of Science, Aalto University, Helsinki, Finland (2011-2017)
  • Scientific Advisory Council (chair), NETWORKS programme (2015-2018).
• program committees (and related):
  • the program committees I serve(d) on: (pdf)
  • SOFSEM, the official home-page.
• other professional duties, committees, etc: list1, list2, list3.
• homepage of Erik Jan van Leeuwen.
• Valediction, Utrecht University (2011): speech.

Research

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

Publications and Reports

• a list of publications: (pdf).
• proceedings, books, and special issues edited: (pdf).
• computer science: my technical reports (or here)
• philosophy of computation: joint papers on computation (Jan van Leeuwen and Jiri Wiedermann)
• bibliographic lists: Amazon (author page), DBLP, MathSciNet, Scholar.
• the Turing Book (2013):
  • Alan Turing: His Work and Impact
• the Handbook of Theoretical Computer Science (1990):
  • Vol A: Algorithms and Complexity
  • Vol B: Formal Models and Semantics
• some (popular) articles
  • `Approaches to machine learning', Philips SOIA'02: (ps), (pdf).
  • `Student enrollment and image of the Informatics discipline', Informatics Europe, 2007: (pdf).
  • `A fascinating science', Utrecht, 2009: (pdf).
  • `Ultieme informatie', NRC, 18 April 2009: (pdf).
  • `Leven in de Infosfeer', DiB, jaargang 2 nr 5, 2010: (pdf).

Teaching

• the theses I supervised:
  • PhD theses: (pdf)
  • MSc-theses: (pdf)
• the courses I taught: (pdf)
• some courses I taught:
  • Algorithmic modelling and complexity (course), Algorithms, games and the internet (seminar)
  • Algorithmic computational biology (seminar), Computational sustainability (seminar).
• 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).
  • `The VLSI complexity of Boolean functions' (1984): (pdf).
  • `The complexity of wire-routing and finding minimum area layouts for arbitrary VLSI circuits' (1984): (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).
• IFIP TC 1 - Foundations of Computer Science (IFIP TC1).
• Koninklijk Wiskundig Genootschap (WG).
• Nederlandse Vereniging voor Theoretische Informatica (NVTI).
• NIAS Fellows' Association (NFA).
• Special Interest Group on Algorithms and Computation Theory (SIGACT).

Honors

• Silver Core Award, IFIP (1992).
• 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).
• Bernard Bolzano Honorary Medal for Merit in the Mathematical Sciences, 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.
• Fellow member, IFIP TC 1 (Foundations of Computer Science), IFIP, 2013.
• R.R. Hawkins Award, and Award for Excellence in Physical Sciences & Mathematics and in Mathematics, PROSE Awards 2013, AAP, 2014.
• ACM Distinguished Service Award 2013, here.

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-.

Recent images

(Utrecht, 2010)

(Vienna, 2017)

Last changed: July 2020.

Disclaimer. This website is intended for normal academic purposes only. We do not accept any responsibility for any use made, or consequences thereof, of any contents or links at this website.