prof. dr. J. (Jan) van Leeuwen
J.vanLeeuwen1@uu.nl
Gegenereerd op 2017-11-24 12:21:24


Chair
Computer Science
Date of appointment 01.01.1980
Profile

Algorithmic Systems

Head Dept of Computer Science (1977-19xx, 19yy-19zz, 200u-200v)

Dean Faculty of Mathematics and Computer Science (1994-1999, 2003-2005)
Vice-dean for Natural Sciences, Faculty of Science (2005-2009)

Academia Europaea
(member)
Royal Netherlands Society for the Sciences
(member)
Distinguished Lorentz Fellow 2009, Lorentz Center / Netherlands Institute for Advanced Study
Dr.h.c. Naturwissenschaften, RWTH Aachen, Germany

R.R. Hawkins Award 2013
ACM Distinguished Service Award 2013

Professor em. (20-12-2011)

Strategic themes / Focus areas
Involved in the following study programme(s)
Scientific expertise
information and computing sciences
computational complexity
philosophy of computing
Gegenereerd op 2017-11-24 12:21:25
Curriculum vitae


See home page.

 

Gegenereerd op 2017-11-24 12:21:25
All publications
  2017 - Scholarly publications
Wiedermann, Jiri & van Leeuwen, J. (2017). Non-classical Turing machines - extending the notion of computation. In Rudolf Freund, Frantisek Mraz & Daniel Prusa (Eds.), Proceedings Ninth Workshop on Non-Classical Models of Automata and Applications - NCMA 2017 Prague, Czech Republic (pp. 29-40) (12 p.). Vienna: Osterreichische Computer Gesellschaft.
Tan, Richard B., van Leeuwen, Erik Jan & van Leeuwen, J. (31.03.2017). Shortcutting directed and undirected networks with a degree constraint. Discrete Applied Mathematics, 220, (pp. 91-117) (29 p.).
van Leeuwen, J. & Wiedermann, Jiří (03.08.2017). Turing machines with one-sided advice and acceptance of the co-RE languages. Fundamenta Informaticae, 153 (4), (pp. 347-366) (20 p.).
  2015 - Scholarly publications
Thomas, Antonis & van Leeuwen, Jan (2015). Pure Nash Equilibria in Graphical Games and Treewidth. Algorithmica, 71 (3), (pp. 581-604) (24 p.).
Wiedermann, Jiri & Van Leeuwen, Jan (2015). Towards a computational theory of epistemic creativity. AISB Convention 2015 The Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB).
Wiedermann, Jiří & van Leeuwen, Jan (01.01.2015). What is computation - An epistemic approach. SOFSEM 2015: theory and practice of computer science - 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings (pp. 1-13) (13 p.). Springer.
  2014 - Scholarly publications
Wiedermann, Jiří & Van Leeuwen, Jan (01.01.2014). Computation as knowledge generation, with application to the observer-relativity problem. AISB 2014 - 50th Annual Convention of the AISB Society for the Study of Artificial Intelligence and the Simulation of Behaviour.
Van Leeuwen, Jan (2014). On Floridi's method of levels of abstraction. Minds and Machines, 24 (1), (pp. 5-17) (13 p.).
  2013 - Scholarly publications
Cooper, S.B. & van Leeuwen, J. (2013). Alan Turing: His Work and Impact. Amsterdam: Elsevier.
Müller, T.M., van Leeuwen, E.J. & van Leeuwen, J. (2013). Integer representation of convex polygon intersection graphs. SIAM Journal on Discrete Mathematics, 27, (pp. 205-231) (27 p.).
Müller, T., van Leeuwen, E.J. & van Leeuwen, J. (2013). Integer representations of convex polygon intersection graphs. SIAM Journal on Discrete Mathematics, 27 (1), (pp. 205-231) (27 p.).
Müller, Tobias, van Leeuwen, Erik Jan & van Leeuwen, Jan (2013). Integer representations of convex polygon intersection graphs. SIAM Journal on Discrete Mathematics, 27 (1), (pp. 205-231) (27 p.).
Wiedermann, J. & van Leeuwen, J. (2013). Rethinking computation. In M. Brown & Y. Erden (Eds.), What is computation, Proc. 6th AISB Symposium on Computing and Philosophy (pp. 6-10) (5 p.). London: AISB.
Wiedermann, Jiří & Van Leeuwen, Jan (01.12.2013). Rethinking computations. 6th AISB Symposium on Computing and Philosophy: The Scandal of Computation - What is Computation? - AISB Convention 2013 (pp. 6-10) (5 p.).
van Leeuwen, J. & Wiedermann, J. (2013). The computational power of Turing's non-terminating circular a-machines. Alan Turing: His Work and Impact (pp. 80-84) (5 p.). Amsterdam: Elsevier.
Thomas, A. & van Leeuwen, J. (2013). Treewidth and pure Nash equilibria. In G. Gutin & S. Szeider (Eds.), Parameterized and Exact Computation, Proc. 8th Int. Symposium (IPEC 2013) (pp. 348-360) (13 p.). Springer-Verlag 2013.
  2012 - Scholarly publications
van Leeuwen, J. & Wiedermann, J. (2012). Computation as an unbounded process. Theoretical Computer Science, 429, (pp. 202-212) (11 p.).
Michiels, W., Aarts, E., Korst, J., Spieksma, F. & van Leeuwen, J. (2012). Computer-assisted proof of performance ratios for the Differencing Method. Journal of Discrete Optimization, 9, (pp. 1-16) (16 p.).
van Leeuwen, E.J. & van Leeuwen, J. (2012). Structure of Polynomial-Time Approximation. Theory of Computing Systems, 50 (4), (pp. 641-674) (34 p.).
  2011 - Scholarly publications
van Leeuwen, E.J. & van Leeuwen, J. (2011). Convex polygon intersection graphs. In U. Brandes & S. Cornelsen (Eds.), Graph Drawing - Proceedings 18th International Symposium (GD 2010) (pp. 377-388) (12 p.). Springer.
Müller, T., van Leeuwen, E.J. & van Leeuwen, J. (2011). Integer representation of convex polygon intersection graphs. In F. Hurtado & M van Kreveld (Eds.), 27th ACM Symposium on Computational Geometry (SoCG 2011) (pp. 300-307) (8 p.). ACM.
Müller, Tobias, van Leeuwen, Erik Jan & van Leeuwen, Jan (2011). Integer representations of convex polygon intersection graphs. Computational geometry (SCG'11) (pp. 300-307) (8 p.). ACM New York.
van Leeuwen, J. & Wiedermann, J. (2011). Name resolution by rewriting in dynamic networks of mobile entities. In C.S. Calude, G. Rozenberg & A. Salomaa (Eds.), Rainbow of Computer science (pp. 215-227) (13 p.). Springer.
  2010 - Scholarly publications
van Leeuwen, J., Muscholl, A., Peleg, D., Pokorny, J. & Rumpe, B. (2010). SOFSEM 2010 - Theory and Practice of Computer Science. Lecture Notes in Computer Science, 5901.
  2010 - Professional publications
van Leeuwen, J. (2010). Bouwstenen voor de volgende informatierevolutie. NWO Hypothese, !7:2, (pp. 14-16) (3 p.).
van Leeuwen, J. (2010). De kennis-ICT paradox. ICTRegie Nieuwsbrief, 19, (pp. 10-11) (2 p.).
van Leeuwen, J. (2010). Leven in de Infosfeer - De informatiemens en zijn e-omgeving. Digitale Bibliotheek, 2:5, (pp. 26-31) (6 p.).
  2009 - Scholarly publications
van Leeuwen, J. (2009). A Fascinating Science. Fascination for Computation - 25 Jaar opleiding Informatica (pp. 33-46) (14 p.).
Meyer, B., Choppy, C., Staunstrup, J. & van Leeuwen, J. (2009). Research Evaluation for Computer Science. Communications of the ACM, 52 (4), (pp. 31-34) (4 p.).
van Leeuwen, J. (2009). Towards a philosophy of the information and computing sciences. NIAS Newsletter, 42, (pp. 22-25) (4 p.).
  2009 - Popularising publications
van Leeuwen, J. (18.04.2009). Ultieme Informatie. NRC Handelsblad
  2008 - Scholarly publications
Wiedermann, J. & van Leeuwen, J. (2008). How We Think of Computing Today. In A. Beckmann, C. Dimitracopoulos & B. Löwe (Eds.), Logic and Theory of Algorithms (pp. 579-593) (15 p.). Berlin/Heidelberg, Germany: Springer, 4th Conference on Computability in Europe (CiE 2008).
Bodlaender, H.L., Tan, R.B., van Dijk, T.C. & van Leeuwen, J. (02.07.2008). Integer Maximum Flow in Wireless Sensor Networks with Energy Constraint. In J Gudmundsson (Eds.), Algorithm Theory - SWAT 2008, 11th Scandinavian Workshop on Algorithm Theory (pp. 102-113) (12 p.). Berlijn: Springer, 11th Scandinavian Workshop on Algorithm Theory, SWAT 2008.
  2007 - Scholarly publications
van Leeuwen, Jan (2007). About the termination detection in the asynchronous message passing model. SOFSEM2007: Theory and Practice of Computer Science (pp. 200-211) (12 p.). Berlin, tdamp.
  1990 - Scholarly publications
Bodlaender, H. L., Gritzmann, P., Klee, V. & Van Leeuwen, J. (01.06.1990). Computational complexity of norm-maximization. Combinatorica, 10 (2), (pp. 203-225) (23 p.).
  1987 - Scholarly publications
Schoone, A.A., Bodlaender, Hans & van Leeuwen, Jan (1987). Diameter increase caused by edge deletion. Journal of Graph Theory, 11 (3).
Schoone, A.A., Bodlaender, Hans & van Leeuwen, Jan (1987). Improved diameter bounds for altered graphs. In Gottfried Tinhofer & Gunther Schmidt (Eds.), Proceedings 12th International Workshop on Graph Theoretic Concepts in Computer Science, WG'86 (pp. 227-236) (10 p.). Springer.
  1986 - Scholarly publications
Bodlaender, Hans & van Leeuwen, Jan (1986). New Upperbounds for Decentralized Extrema-Finding in a Ring of Processors. In Burkhard Monien & G. Vidal-Naquet (Eds.), Proceedings 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS 86 (pp. 119-129) (11 p.). Springer.
Bodlaender, H. L. & van Leeuwen, J. (01.12.1986). Simulation of large networks on smaller networks. Information and control, 71 (3), (pp. 143-180) (38 p.).
  1985 - Scholarly publications
Bodlaender, Hans & van Leeuwen, Jan (1985). Simulation of Large Networks on Smaller Networks. In Kurt Mehlhorn (Eds.), Proceedings 2nd Symposium of Theoretical Aspects of Computer Science (pp. 47-58). Springer.
^ top
Gegenereerd op 2017-11-24 12:21:25

Research in algorithm design and complexity, and its application in all branches of computer science and of science in general. Research themes include:

  • information structure, algorithm design, computational complexity, algorithmic modeling and simulation, intelligent algorithms, and the philosophy of computing.


Promoted PhD's: see mathematics genealogy.

Gegenereerd op 2017-11-24 12:21:25

See my home page.

Teaching activity Spring 2012: Seminar on Algorithmic Computational Biology.

Teaching activity Spring 2013: Seminar on Computational Sustainability.

Gegenereerd op 2017-11-24 12:21:25
Additional functions and activities

Current

  • member Advisory Council, NIAS-Lorentz program (2014-).
  • member Advisory Board, School of Science, Aalto University, Helsinki, Finland (2011-).
  • member Foresight Panel, IT University, Copenhagen, Denmark (2008-).
  • Member Advisory Council (`Beirat'), Fakultät für Informatik, Technische Universität München (2000-2014).

Previous (recent)

  • Member Turing centenary advisory committee: The Alan Turing Year (2012).
  • Member Council of: EATCS (until 2012), ACM Europe (until 2013).
  • Vice president of: Informatics Europe (until 2012), past president of: European Forum for ICST (until 2013).
  • Vice-dean of natural sciences: Faculty of Science UU (until 1-1-2009; for research ad interim: 2011).
  • Member Advisory council of: Netherlands ICT Research and Innovation Authority (ICTRegie, until 31-12-2010).
 
Gegenereerd op 2017-11-24 12:21:25
Full name
prof. dr. J. van Leeuwen Contact details
Buys Ballotgebouw

Princetonplein 5
Room BBL-505
3584 CC  UTRECHT
The Netherlands


Phone number (direct) +31 30 253 4001
Phone number (department) +31 30 253 4116
Postal address
Postbus 80.089
3508 TB    UTRECHT
The Netherlands
Gegenereerd op 2017-11-24 12:21:25
Last updated 12.09.2017