Мартин Гроэ
Мартин Гроэ (1967 г.р.) [1] немецкий математик и ученый-компьютерщик, известный своими исследованиями в области параметризованной сложности , математической логики , теории конечных моделей , логики графов , теории баз данных , теории описательной сложности и графовых нейронных сетей . Он является профессором компьютерных наук в RWTH Ахенском университете , где он возглавляет кафедру логики и теории дискретных систем. [2]
Жизнь
[ редактировать ]Гроэ получил докторскую степень ( Dr. rer. nat. ) во Фрайбургском университете в 1994 году. Его диссертация «Структура логики фиксированной точки » была написана под руководством Хайнца-Дитера Эббингауза . [3] После постдокторских исследований в Калифорнийском университете Санта-Крус и Стэнфордском университете он получил степень доктора философии во Фрайбургском университете в 1998 году. [4] Он стал профессором Иллинойского университета в Чикаго в 2000 году, преподавателем Эдинбургского университета в 2001 году и профессором Берлинского университета имени Гумбольдта в 2003 году, а затем стал профессором RWTH Ахенского университета в 2012 году. [5]
Книги
[ редактировать ]Гроэ — автор книги «Теория описательной сложности, канонизации и определяемой структуры графов» (конспект лекций по логике 47, Cambridge University Press, 2017). [6] В 2011 году Гроэ и Иоганн А. Маковски в качестве редакторов опубликовали материалы 558-й специальной сессии AMS - ASL по теоретико-модельным методам в конечной комбинаторике , которая проходила 5-8 января 2009 года в Вашингтоне, округ Колумбия. Вместе с Йоргом Флюмом он является соавтором книги «Параметризованная теория сложности» (Springer, 2006). [7]
- Гроэ, Мартин (17 августа 2017 г.). Описательная сложность, канонизация и определимая теория структуры графов . Издательство Кембриджского университета. дои : 10.1017/9781139028868 . ISBN 978-1-107-01452-7 . S2CID 125568998 .
- Гроэ, Мартин; Маковский, Иоганн А. (2011). Теоретико-модельные методы в конечной комбинаторике: совместная специальная сессия AMS-ASL, 5-8 января 2009 г., Вашингтон, округ Колумбия . Том. 558. Вашингтон, округ Колумбия: Американское математическое общество. ISBN 978-0-8218-4943-9 .
- Флум, Йорг; Гроэ, М. (2006). Параметризованная теория сложности . Берлин: Шпрингер. ISBN 978-3-540-29953-0 . OCLC 262692167 .
Признание
[ редактировать ]Гроэ выиграл премию Хайнца Майера-Лейбница, присуждаемую Немецким исследовательским фондом в 1999 году. [4] и он был избран научным сотрудником ACM в 2017 году за «вклад в логику в информатике, теорию баз данных, алгоритмы и сложность вычислений». [8] В 2022 году он получил расширенный грант ERC «Симметрия и сходство». [9]
Ссылки
[ редактировать ]- ↑ Год рождения из записи каталога Немецкой национальной библиотеки , получено 8 декабря 2018 г.
- ^ Доктор рер. естествоиспытатель, профессор университета Мартин Гроэ , RWTH Ахенский университет , получено 8 декабря 2018 г.
- ^ Мартин Гроэ в проекте «Математическая генеалогия»
- ^ Перейти обратно: а б Мартин Гроэ, премия Хайнца Майера-Лейбница 1999 г. , Фрайбургский университет , получено 8 августа 2021 г.
- ^ «Годовой отчет за 2009 год, Институт компьютерных наук, Берлинский университет имени Гумбольдта» (PDF) .
- ^ Обзор описательной сложности, канонизации и теории определимой структуры графов :
- Мишель, Паскаль, математические обзоры , MR 3729479
{{citation}}: CS1 maint: периодическое издание без названия ( ссылка ) - Сегуфин, Люк (2017), Бюллетень символической логики , 23 (4): 493–494, doi : 10.1017/bsl.2018.1 , MR 3778434 , S2CID 125876027
{{citation}}: CS1 maint: периодическое издание без названия ( ссылка )
- Мишель, Паскаль, математические обзоры , MR 3729479
- ^ Обзоры параметризованной теории сложности :
- Гасарч, Уильям ; Кин, Кеунг Ма (март 2007 г.), The Computer Journal , 51 (1): 137–140, doi : 10.1093/comjnl/bxm047
{{citation}}: CS1 maint: периодическое издание без названия ( ссылка ) - Швентик, Томас (июнь 2007 г.), Бюллетень символической логики , 13 (2): 246–248, doi : 10.1017/s1079898600002286 , S2CID 123555329
{{citation}}: CS1 maint: периодическое издание без названия ( ссылка )
- Гасарч, Уильям ; Кин, Кеунг Ма (март 2007 г.), The Computer Journal , 51 (1): 137–140, doi : 10.1093/comjnl/bxm047
- ^ ACM награждает стипендиатов 2017 года за вклад в трансформацию и развитие технологий в эпоху цифровых технологий , Ассоциация вычислительной техники , 11 декабря 2017 г.
- ^ «Симметрия и сходство» .
Внешние ссылки
[ редактировать ]- Публикации Мартина Гроэ , индексируемые Google Scholar
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
