Ян ван Леувен
Ян ван Леувен | |
|---|---|
| Рожденный | 17 декабря 1946 г. Ваддинксвен , Нидерланды |
| Национальность | Голландский |
| Альма-матер | Утрехтский университет |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Утрехтский университет |
| Диссертация | Программы, помеченные правилами: исследование обобщения контекстно-свободных грамматик и некоторых классов формальных языков (1972) |
| Докторантура | Дирк ван Дален |
| Докторанты | Кэтолин Йонкер |
Ян ван Леувен (родился 17 декабря 1946 года в Ваддинксвене ) [1] — голландский ученый-компьютерщик и почетный профессор информатики факультета информационных и вычислительных наук Утрехтского университета . [2]
Образование и карьера [ править ]
Ван Леувен закончил бакалавриат по математике в Утрехтском университете в 1967 году и получил докторскую степень по математике в 1972 году в том же учреждении под руководством Дирка ван Далена . [2] [3] После постдокторской учебы в Калифорнийском университете в Беркли и преподавательских должностей в SUNY в Буффало и Университете штата Пенсильвания он вернулся в Утрехт в качестве преподавателя в 1977 году. Он возглавлял свой отдел с 1977 по 1983 год, а затем с 1991 по 1994 г. и декан с 1994 по 2009 г. [2] Ян ван Леувен был одним из основателей информатики Европы .
Исследования [ править ]
Ян ван Леувен внес вклад во многие области теоретической информатики , особенно в разработку алгоритмов и теорию сложности вычислений , а также в философию вычислений . [2] Среди его докторантов — исследователь алгоритмов и преподаватель из Утрехта Ханс Бодлендер , а также известный разработчик игрового программного обеспечения и бывший коллега-преподаватель из Утрехта Марк Овермарс . [3] Ван Леувен хорошо известен как бывший редактор серии Lecture Notes in Computer Science . [2]
Награды и почести [ править ]
Ван Леувен является членом Королевского голландского общества естественных и гуманитарных наук с 1992 года, а в 2006 году он был избран в Academia Europaea . [2] [4] В 2008 году он получил почетную докторскую степень RWTH Ахена . В 2013 году он получил награду ACM за выдающиеся заслуги вместе с Герхардом Гусом и Юрисом Хартманисом .
Книги [ править ]
Ян ван Леувен был редактором двухтомного справочника по теоретической информатике . В 2013 году он и С. Барри Купер опубликовали книгу «Алан Тьюринг: его работа и влияние» ( Elsevier , ISBN 978-0-12-386980-7 ), специальное издание собрания сочинений Алана Тьюринга . Эта книга получила премию Р.Р. Хокинса в 2013 году .
Семья [ править ]
Его сын, Эрик Ян ван Леувен, также является академическим ученым-компьютерщиком. Он был старшим научным сотрудником Института информатики Макса Планка , а в настоящее время является доцентом и научным сотрудником кафедры информационных и вычислительных наук Утрехтского университета . [5]
Ссылки [ править ]
- ^ Стипендия Лоренца 2009 г. Архивировано 21 июля 2011 г. в Wayback Machine , Нидерландский институт перспективных исследований , получено 27 марта 2011 г.
- ↑ Перейти обратно: Перейти обратно: а б с д и ж Биографические данные. Архивировано 2 октября 2011 г. на Wayback Machine , получено 27 марта 2011 г.
- ↑ Перейти обратно: Перейти обратно: а б Ян ван Леувен в проекте «Математическая генеалогия» .
- ↑ Секция информатики Academia Europaea. Архивировано 24 июля 2011 г. на Wayback Machine , получено 27 марта 2011 г.
- ↑ Домашняя страница Эрика Яна ван Леувена , получено 21 февраля 2018 г.
Внешние ссылки [ править ]
- Домашняя страница , получено 01.01.2024.
- Публикации Яна ван Леувена, проиндексированные Google Scholar
- Ян ван Леувен на DBLP библиографическом сервере
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Люди | |
| Другой | |
- 1946 года рождения
- Живые люди
- Голландские ученые-компьютерщики
- Теоретики-компьютерщики
- Исследователи геометрических алгоритмов
- Выпускники Утрехтского университета
- Факультет Университета Буффало
- Преподаватели Пенсильванского государственного университета
- Академический состав Утрехтского университета
- Члены Европейской академии
- Офицеры ордена Оранж-Нассау
- Люди из Ваддинксвена