Мартин Гроэ - Martin Grohe
Мартин Гроэ (1967 г.р.)[1] немецкий математик и компьютерный ученый, известный своими исследованиями параметризованная сложность, математическая логика, теория конечных моделей, то логика графиков, теория баз данных, и описательная теория сложности. Он является профессором компьютерных наук в RWTH Ахенский университет, где он заведует кафедрой логики и теории дискретных систем.[2]
Образование
Гроэ получил докторскую степень (доктор rer. физ. ) на Фрайбургский университет в 1994 г. Его диссертация, Структура логики фиксированной точки, находился под наблюдением Хайнц-Дитер Эббингаус.[3]После докторантуры в Калифорнийский университет в Санта-Крус и Стэндфордский Университет, он заработал абилитация в Университете Фрайбурга в 1998 году.[4]
Книги
Grohe является автором Теория описательной сложности, канонизации и определяемой структуры графов (Конспект лекций по логике 47, Cambridge University Press, 2017).[5] В 2011 году Grohe и Иоганн А. Маковски опубликовал в качестве редакторов 558-е труды AMS -Специальная сессия ASL на Теоретико-модельные методы в конечной комбинаторике, который проходил 5-8 января 2009 г. в Вашингтоне, округ Колумбия.[6] Вместе с Йоргом Флумом он является соавтором книги Параметризованная теория сложности (Спрингер, 2006).[7]
Признание
Grohe выиграл Премия Хайнца Майера – Лейбница награжден Немецкий исследовательский фонд в 1999 году.[4]Он был избран Член ACM в 2018 году за «вклад в логику в информатике, теорию баз данных, алгоритмы и сложность вычислений».[8]
Рекомендации
- ^ Год рождения от Запись в каталоге Национальной библиотеки Германии, получено 8 декабря 2018.
- ^ Доктор рер. нат., профессор Мартин Гроэ, RWTH Ахенский университет, получено 2018-12-08
- ^ Мартин Гроэ на Проект "Математическая генеалогия"
- ^ а б Мартин Гроэ, Приз Хайнца Майера-Лейбница 1999 г., Фрайбургский университет, получено 2018-12-08
- ^ Обзор Теория описательной сложности, канонизации и определяемой структуры графов:
- ^ Grohe, Мартин; Маковский, Иоганн А (2011). Теоретико-модельные методы в конечной комбинаторике: совместная специальная сессия AMS-ASL, 5-8 января 2009 г., Вашингтон, округ Колумбия. 558. Вашингтон, округ Колумбия: American Mathematical Soc. ISBN 978-0821849439.
- ^ Обзоры Параметризованная теория сложности:
- Гасарх, Уильям; Кин, Кеунг Ма (март 2007 г.), Компьютерный журнал, 51 (1): 137–140, Дои:10.1093 / comjnl / bxm047CS1 maint: журнал без названия (связь)
- Швентик, Томас (июнь 2007 г.), Бюллетень символической логики, 13 (2): 246–248, Дои:10,1017 / с1079898600002286CS1 maint: журнал без названия (связь)
- ^ ACM награждает стипендиатов 2017 года за их трансформационный вклад и развитие технологий в цифровую эпоху, Ассоциация вычислительной техники, 11 декабря 2017
внешняя ссылка
- Мартин Гроэ публикации, проиндексированные Google ученый
