Леонид Либкин
Леонид Либкин | |
|---|---|
| Альма-матер | Пенсильванский университет [6] |
| Награды | Премия Королевского общества Вольфсона за заслуги в области исследований [1] Европейская академия [2] |
| Научная карьера | |
| Учреждения | Эдинбургский университет Высшая нормальная школа Университет Торонто Белл Лаборатории |
| Диссертация | Аспекты частичной информации в базах данных [6] (1994 [6] ) |
| Докторантура | Питер Бунеман [6] |
| Веб-сайт | домашние страницы |
Леонид Либкин FRSE — учёный-компьютерщик , занимающийся управлением данными , в частности теорией баз данных и логикой в информатике .
Либкин — профессор Эдинбургского университета , где он возглавляет кафедру «Основы управления данными» в Школе информатики. [7] Раньше он работал в Bell Labs , в Университете Торонто и в Высшей нормальной школе в Париже. [7]
Либкин — автор стандартных учебников по теории конечных моделей и обмену данными . [8]
Он является членом ACM , [4] член Королевского общества Эдинбурга , [9] и член Европейской академии. [2] Он получил награды за лучшие статьи на Симпозиуме по принципам систем баз данных (ACM PODS) в 1999, 2003 и 2005 годах. [10] на Международной конференции по теории баз данных (ICDT) в 2011 г., [11] на конференции «Принципы представления знаний и рассуждения» в 2014 и 2018 гг., [12] на конференции ACM SIGMOD (отраслевой трек) в 2023 году, [13] и награда за проверку временем на ICDT в 2023 году. [11] В 2005 году он был программным председателем ICDT. [11] ПОДС в 2007 году [10] и Симпозиум ACM-IEEE по логике в информатике (LICS) в 2021 году. [14]
Книги [ править ]
- Либкин, Леонид (2004). Элементы теории конечных моделей . Спрингер . ISBN 978-3-540-21202-7 .
- Аренас, Марсело; Барсело, Пабло; Либкин, Леонид; Мурлак, Филип (2014). Основы обмена данными . Издательство Кембриджского университета . ISBN 9781107016163 .
Ссылки [ править ]
- ^ «Леонид Либкин» . Королевское общество . 2017 . Проверено 9 марта 2017 г.
- ^ Jump up to: Перейти обратно: а б «Леонид Либкин» . Европейская академия . 2012 . Проверено 22 февраля 2016 г.
- ^ «Избранные члены 2012 года» . Королевское общество Эдинбурга . 2012 . Проверено 22 февраля 2016 г.
- ^ Jump up to: Перейти обратно: а б «Стипендиаты ACM» . АКМ . Проверено 23 февраля 2016 г.
- ^ «XMLDATA» . Европейская комиссия . 2007 . Проверено 22 февраля 2016 г.
- ^ Jump up to: Перейти обратно: а б с д Леонид Либкин на проекте «Математическая генеалогия»
- ^ Jump up to: Перейти обратно: а б «Кафедра основ управления данными» . Эдинбургский университет, Школа информатики . Проверено 8 апреля 2015 г.
- ^ Публикации Леонида Либкина, индексируемые Google Scholar.
- ^ «Профессор Леонид Либкин FRSE — Королевское общество Эдинбурга» . Королевское общество Эдинбурга . Проверено 26 июня 2018 г.
- ^ Jump up to: Перейти обратно: а б «ACM SIGMOD: PODS» . Проверено 2 сентября 2023 г.
- ^ Jump up to: Перейти обратно: а б с «Страницы ИКДТ» . Проверено 29 февраля 2020 г.
- ^ «Приз Рэя Райтера за лучшую работу» . Проверено 29 февраля 2020 г.
- ^ «Награда SIGMOD за лучшую статью – веб-сайт SIGMOD» .
- ^ «Архив ЛИКС» .
Внешние ссылки [ править ]
- Леонид Либкин на DBLP библиографическом сервере
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |