Jan van Leeuwen
Jan van Leeuwen is a distinguished Professor of Computer Science and former head of the Department of Information and Computing Sciences at Utrecht University (The Netherlands). He is the editor, with Barry Cooper, of "Alan Turing: His Work and Impact", a special edition of A. M. Turing's collected works (Elsevier, 2013).
His research focuses on the algorithms, theories and philosophy of the computing
sciences. He has published extensively on the design and analysis of computational
systems, on formal methods, and on philosophy of science views of computing and
AI. He edited the well-known Handbook of Theoretical Computer Science and was
one of the series editors of the Lecture Notes in Computer Science (Springer). He
was vice-dean of the Faculty of Sciences at Utrecht University, vice-president of
the European Association for Theoretical Computer Science and vice-president of
Informatics Europe. He received the Bolzano Honorary Medal of the Czech Academy of
Sciences in 1999, an honorary doctorate from the RWTH Aachen in 2008, and the ACM
Distinguished Service Award in 2013. Jan van Leeuwen is a member of the Royal
Netherlands Society of Sciences and Humanities, and of the Academia Europaea. He
works in the Utrecht Center for the Philosophy of Computing.