Jan van Leeuwen - Jan van Leeuwen

Jan van Leeuwen
narozený (1946-12-17) 17. prosince 1946 (věk 73)
Waddinxveen, Holandsko
Národnostholandský
Alma materUtrechtská univerzita
Vědecká kariéra
PolePočítačová věda
InstituceUtrechtská univerzita
TezeProgramy označené pravidly: Studie o zobecnění bezkontextových gramatik a některých tříd formálních jazyků (1972)
Doktorský poradceDirk van Dalen

Jan van Leeuwen (narozen 17. prosince 1946 v Waddinxveen )[1] je holandský počítačový vědec a emeritní profesor výpočetní techniky na Katedře informačních a počítačových věd na Utrechtská univerzita.[2]

Vzdělání a kariéra

Van Leeuwen dokončil vysokoškolské studium matematiky na Utrechtská univerzita v roce 1967 získal titul Ph.D. v matematice v roce 1972 ze stejné instituce pod dohledem Dirk van Dalen.[2][3] Po postdoktorandském studiu na University of California, Berkeley a pozice fakulty na SUNY v Buffalu a Pennsylvania State University, do Utrechtu se vrátil jako člen fakulty v roce 1977. Vedoucím katedry byl od roku 1977 do roku 1983, znovu od roku 1991 do roku 1994 a děkanem od roku 1994 do roku 2009.[2] Jan van Leeuwen byl jedním ze zakladatelů společnosti Informatika Evropa.

Výzkum

Jan van Leeuwen přispěl k mnoha oborům teoretické informatiky, zejména k návrhu algoritmů a teorii výpočetní složitosti a k ​​filozofii výpočetní techniky.[2] Mezi jeho doktorandy patří výzkumník algoritmů a člen fakulty v Utrechtu Hans Bodlaender a pozoruhodný vývojář herního softwaru a bývalý kolega z Utrechtské fakulty, Mark Overmars.[3] Van Leeuwen je dobře známý jako bývalý redaktor seriálu Přednášky z informatiky.[2]

Ceny a vyznamenání

Van Leeuwen je členem Nizozemská královská společnost pro vědy a humanitní vědy od roku 1992 a v roce 2006 byl zvolen do Academia Europaea.[2][4] V roce 2008 získal čestný doktorát RWTH Cáchy. V roce 2013 obdržel Cena ACM za vynikající služby, dohromady s Gerhard Goos a Juris Hartmanis.

Knihy

Jan van Leeuwen byl editorem 2-svazku Příručka teoretické informatiky. V roce 2013 on a Barry Cooper zveřejněno Alan Turing: Jeho práce a dopad (Elsevier, ISBN  978-0-12-386980-7), speciální vydání sebraných děl Alan Turing. Tato kniha získala titul Cena R.R. Hawkinse 2013.

Rodina

Jeho syn, Erik Jan van Leeuwen, je také akademickým počítačovým vědcem. Byl výzkumným pracovníkem v Max-Planck-Institut für Informatik, a v současné době je odborným asistentem a vědeckým pracovníkem na Katedře informačních a počítačových věd na Utrechtská univerzita.[5]

Reference

  1. ^ 2009 Společenstvo Lorentz Archivováno 21.07.2011 na Wayback Machine, Nizozemský institut pro pokročilé studium, vyvoláno 2011-03-27.
  2. ^ A b C d E F Životopis, vyvoláno 2011-03-27.
  3. ^ A b Jan van Leeuwen na Matematický genealogický projekt.
  4. ^ Sekce informatiky Academia Europaea Archivováno 2011-07-24 na Wayback Machine, vyvoláno 2011-03-27.
  5. ^ Domovská stránka Erika Jana van Leeuwena, vyvoláno 2018-02-21.

externí odkazy