Lidé

Jan van Leeuwen
Jan van Leeuwen je významným profesorem informatiky a bývalým vedoucím katedry informačních a počítačových věd na Utrechtské univerzitě (Nizozemsko). Spolu s Barrym Cooperem je editorem speciální edice sebraných děl A. M. Turinga Alan Turing: His Work and Impact (Elsevier, 2013).
Jeho výzkum se zaměřuje na algoritmy, teorii a filosofii informatiky. Rozsáhle publikoval na téma designu a analýzy výpočetních systémů, o formálních metodách a o pojetí počítačí a umělé inteligence z hlediska filosofie vědy. Redigoval známou učebnici Handbook of Theoretical Computer Science a byl jedním z editorů řady Lecture Notes in Computer Science (Springer). Byl proděkanem Přírodovědecké fakulty Univerzity v Utrechtu, viceprezidentem Evropské asociace pro teoretickou informatiku a viceprezidentem Information Europe. V roce 1999 obdržel Bolzanovu čestnou medaili Akademie věd ČR, v roce 2008 čestný doktorát RWTH Aachen a v roce 2013 cenu ACM Distinguished Service Award. Jan van Leeuwen je členem Královské nizozemské společnosti věd a humanitních věd, a Academia Europaea. Pracuje v Utrechtském centru pro filosofii výpočetní techniky.
Cookies