Jan van Leeuwen (nacido el 17 de diciembre de 1946 en Waddinxveen ) [1] es un informático holandés y profesor emérito de informática en el Departamento de Ciencias de la Información y la Computación de la Universidad de Utrecht . [2]
Jan van Leeuwen | |
---|---|
Nació | |
Nacionalidad | holandés |
alma mater | Universidad de Utrecht |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad de Utrecht |
Tesis | Programas etiquetados con reglas: un estudio de una generalización de gramáticas libres de contexto y algunas clases de lenguajes formales (1972) |
Asesor de doctorado | Dirk van Dalen |
Educación y carrera
Van Leeuwen completó sus estudios universitarios en matemáticas en la Universidad de Utrecht en 1967 y recibió un doctorado. en matemáticas en 1972 de la misma institución bajo la supervisión de Dirk van Dalen . [2] [3] Después de estudios postdoctorales en la Universidad de California, Berkeley y puestos en la facultad de SUNY en Buffalo y la Universidad Estatal de Pensilvania , regresó a Utrecht como miembro de la facultad en 1977. Fue director de su departamento de 1977 a 1983 , y nuevamente de 1991 a 1994, y decano de 1994 a 2009. [2] Jan van Leeuwen fue uno de los fundadores de Informatics Europe .
Investigar
Jan van Leeuwen contribuyó en muchos campos de la informática teórica, especialmente en el diseño de algoritmos y la teoría de la complejidad computacional, y en la filosofía de la informática. [2] Entre sus estudiantes de doctorado se encuentran el investigador de algoritmos y miembro de la facultad de Utrecht Hans Bodlaender y el notable desarrollador de software de juegos y ex miembro de la facultad de Utrecht, Mark Overmars . [3] Van Leeuwen es conocido como un ex editor de la serie Lecture Notes in Computer Science . [2]
Premios y honores
Van Leeuwen es miembro de la Real Sociedad Holandesa de Ciencias y Humanidades desde 1992, y en 2006 fue elegido miembro de la Academia Europaea . [2] [4] En 2008 recibió un doctorado honorario de la RWTH Aachen . En 2013 recibió el Premio al Servicio Distinguido ACM , junto con Gerhard Goos y Juris Hartmanis .
Libros
Jan van Leeuwen fue el editor del Handbook of Theoretical Computer Science en dos volúmenes . En 2013, él y S. Barry Cooper publicaron Alan Turing: His Work and Impact ( Elsevier , ISBN 978-0-12-386980-7 ), una edición especial de las obras completas de Alan Turing . Este libro ganó el premio RR Hawkins 2013 .
Familia
Su hijo, Erik Jan van Leeuwen, también es un científico informático académico. Fue investigador senior en el Max-Planck-Institut für Informatik , y actualmente es profesor asistente y científico investigador en el Departamento de Ciencias de la Información y la Computación de la Universidad de Utrecht . [5]
Referencias
- ^ 2009 Lorentz Fellowship Archivado el 21 de julio de 2011 en Wayback Machine , Instituto de Estudios Avanzados de los Países Bajos, consultadoel 27 de marzo de 2011 .
- ^ a b c d e f Curriculum vitae , consultado el 27 de marzo de 2011.
- ^ a b Jan van Leeuwen en el Proyecto de genealogía de las matemáticas .
- ^ Sección de informática de la Academia Europaea Archivado el 24 de julio de 2011 en la Wayback Machine , consultado el 27 de marzo de 2011.
- ↑ Página de inicio de Erik Jan van Leeuwen , consultado el 21 de febrero de 2018.
enlaces externos
- Página de inicio
- Publicaciones de Jan van Leeuwen indexadas por Google Scholar
- Jan van Leeuwen en DBLP Bibliografía servidor