prof. dr. J. (Jan) van Leeuwen
J.vanLeeuwen1@uu.nl
Gegenereerd op 2017-10-18 16:35:46


Leeropdracht
Informatica
Benoemingsdatum 01-01-1980
Profiel

Algorithmic Systems

Hoofd Dept Informatica (1977-19xx, 19yy-19zz, 200u-200v)

Decaan Faculteit Wiskunde en Informatica (1994-1999, 2003-2005)
Vice-decaan voor Natuurwetenschappen, Faculteit Betawetenschappen (2005-2009)

Academia Europaea (lid)
Koninklijke Hollandsche Maatschappij der Wetenschappen (lid)
Distinguished Lorentz Fellow 2009, Lorentz Center / Netherlands Institute for Advanced Study
Dr.h.c. Naturwissenschaften, RWTH Aachen

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

Professor em. (20-12-2011)

Strategische thema's / focusgebieden
Betrokken bij de opleiding(en)
Wetenschappelijke expertises
informatica
computationele complexiteit
filosofie van de informatica
Gegenereerd op 2017-10-18 16:35:46
Curriculum vitae


Zie home page.

 

Gegenereerd op 2017-10-18 16:35:46
Alle publicaties
  2017 - Wetenschappelijke publicaties
Tan, Richard B., van Leeuwen, Erik Jan & van Leeuwen, J. (2017). Shortcutting directed and undirected networks with a degree constraint. Discrete Applied Mathematics, 220, (pp. 91-117).
  2015 - Wetenschappelijke publicaties
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 - Wetenschappelijke publicaties
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 - Wetenschappelijke publicaties
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, 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.).
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.).
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 - Wetenschappelijke publicaties
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 - Wetenschappelijke publicaties
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 - Wetenschappelijke publicaties
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 - Vakpublicaties
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 - Wetenschappelijke publicaties
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 - Populariserende publicaties
van Leeuwen, J. (18-04-2009). Ultieme Informatie. NRC Handelsblad
  2008 - Wetenschappelijke publicaties
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 - Wetenschappelijke publicaties
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 - Wetenschappelijke publicaties
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 - Wetenschappelijke publicaties
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 - Wetenschappelijke publicaties
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 - Wetenschappelijke publicaties
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.
^ naar boven
Gegenereerd op 2017-10-18 16:35:46

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.


Promovendi: zie mathematics genealogy.

 
 
 
 
Gegenereerd op 2017-10-18 16:35:46

Zie mijn home page.

Onderwijs voorjaar  2012.: Seminar on Algorithmic Computational Biology.

Onderwijs voorjaar 2013: Seminar on Computational Sustainability.

Gegenereerd op 2017-10-18 16:35:46
Nevenfuncties

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-10-18 16:35:46
Volledige naam
prof. dr. J. van Leeuwen Contactgegevens
Buys Ballotgebouw

Princetonplein 5
Kamer BBL-505
3584 CC  UTRECHT

Telefoonnummer direct 030 253 4001
Telefoonnummer afdeling 030 253 4116
Postadres
Postbus 80.089
3508 TB    UTRECHT
Gegenereerd op 2017-10-18 16:35:46
Laatst bijgewerkt op 12-09-2017