Ян ван Леувен - Jan van Leeuwen

Ян ван Леувен
Родился ( 1946-12-17 )17 декабря 1946 г. (74 года)
Национальность Голландский
Альма-матер Утрехтский университет
Научная карьера
Поля Информатика
Учреждения Утрехтский университет
Тезис Помеченные правилами программы: исследование обобщения контекстно-свободных грамматик и некоторых классов формальных языков  (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 году .

Семья

Его сын, Эрик Ян ван Левен, также является ученым-компьютерщиком. Он был старшим научным сотрудником Института информатики им. Макса Планка , а в настоящее время является доцентом и научным сотрудником Департамента информационных и вычислительных наук Утрехтского университета .

использованная литература

внешние ссылки