Ян ван Леувен - Jan van Leeuwen
Ян ван Леувен | |
---|---|
Родился |
|
17 декабря 1946 г.
Национальность | Голландский |
Альма-матер | Утрехтский университет |
Научная карьера | |
Поля | Информатика |
Учреждения | Утрехтский университет |
Тезис | Помеченные правилами программы: исследование обобщения контекстно-свободных грамматик и некоторых классов формальных языков (1972) |
Докторант | Дирк ван Дален |
Ян ван Леувен (родился 17 декабря 1946 года в Ваддинксвене ) - голландский ученый-компьютерщик и почетный профессор информатики факультета информационных и вычислительных наук Утрехтского университета .
Образование и карьера
Ван Леувен закончил бакалавриат по математике в Утрехтском университете в 1967 году и получил степень доктора философии. по математике в 1972 году в том же учебном заведении под руководством Дирка ван Далена . После докторантуры в Калифорнийском университете в Беркли и преподавательских должностей в SUNY в Буффало и Государственном университете Пенсильвании он вернулся в Утрехт в качестве преподавателя в 1977 году. Он был главой своего отдела с 1977 по 1983 год, а затем с 1991 по 1994, и декан с 1994 по 2009. Ян ван Леувен был одним из основателей Informatics Europe .
Исследовательская работа
Ян ван Леувен внес вклад во многие области теоретической информатики, особенно в разработку алгоритмов и теорию сложности вычислений, а также в философию вычислений. Среди его докторантов - исследователь алгоритмов и преподаватель Утрехта Ханс Бодлендер, а также известный разработчик игрового программного обеспечения и бывший коллега-преподаватель Утрехтского факультета Марк Овермарс . Ван Леувен хорошо известен как бывший редактор серии Lecture Notes in Computer Science .
Награды и почести
Ван Леувен является членом Королевского голландского общества наук и гуманитарных наук с 1992 года, а в 2006 году он был избран в Academia Europaea . В 2008 году он получил звание почетного доктора RWTH Aachen . В 2013 году вместе с Герхардом Гусом и Юрисом Хартманисом он получил награду ACM за выдающиеся заслуги .
Книги
Ян ван Леувен был редактором двухтомного Справочника по теоретической информатике . В 2013 году он и С. Барри Купер опубликовали специальное издание собрания сочинений Алана Тьюринга « Алан Тьюринг: его работа и влияние» ( Elsevier , ISBN 978-0-12-386980-7 ) . Эта книга получила премию Р. Р. Хокинса в 2013 году .
Семья
Его сын, Эрик Ян ван Левен, также является ученым-компьютерщиком. Он был старшим научным сотрудником Института информатики им. Макса Планка , а в настоящее время является доцентом и научным сотрудником Департамента информационных и вычислительных наук Утрехтского университета .
использованная литература
внешние ссылки
- Домашняя страница
- Публикации Яна ван Леувена, проиндексированные Google Scholar
- Ян ван Леувен из Библиографического сервера DBLP