Питер Бунеман | |
---|---|
Рожденный | Оскар Питер Бунеман 1943 (81–82 года) |
Национальность | британский |
Альма-матер | Колледж Гонвилла и Кая, Кембридж [5] Университет Уорика |
Известный |
|
Награды |
|
Научная карьера | |
Поля | Информатика |
Учреждения | |
Тезис | Модели обучения и памяти (1970) |
научный руководитель | Кристофер Зееман [4] |
Докторанты | |
Веб-сайт | homepages.inf.ed.ac.uk/opb |
Оскар Питер Бунеман (родился в 1943 году) — британский учёный-компьютерщик, работающий в области систем баз данных и теории баз данных . [10] [11] [12] [13] [14] [15] [16]
Бунеман получил образование в Кембриджском университете , где он получил степень бакалавра искусств, изучая Cambridge Mathematical Tripos в колледже Гонвилла и Кая, Кембридж . Бунеман продолжил обучение в Университете Уорика , где он получил степень доктора философии в 1970 году. [4]
После получения степени доктора философии Бунеман некоторое время работал в Эдинбургском университете, а затем получил должность профессора компьютерных наук в Пенсильванском университете , которую он занимал в течение нескольких десятилетий. В 2002 году он перешел в Эдинбургский университет , где создал исследовательскую группу по базам данных. Он является одним из основателей и заместителем директора по исследованиям UK Digital Curation Centre , [3] который находится в Эдинбурге .
Бунеман известен своими исследованиями в области систем баз данных и теории баз данных, в частности, установлением связей между базами данных и теорией языков программирования , [17], такими как введение языков запросов на основе монад для вложенных отношений и баз данных сложных объектов. [18] Он также был пионером в исследованиях по управлению полуструктурированными данными , [19] [20] и, в последнее время, в исследованиях по происхождению данных , аннотациям и цифровому курированию.
В вычислительной биологии он известен своей работой по реконструкции филогенетических деревьев [21] на основе графов Бунемана , названных в его честь.
Бунеман является членом Королевского общества , членом ACM , членом Королевского общества Эдинбурга и обладателем премии Wolfson Research Merit Award Королевского общества . Он председательствовал на обеих флагманских исследовательских конференциях по управлению данными , SIGMOD (в 1993 году) и VLDB (в 2008 году), а также на главной конференции по теории баз данных, PODS (в 2001 году).
Бунеман был назначен членом Ордена Британской империи (MBE) в новогодних почестях 2013 года за заслуги в области систем данных и вычислений. [22] Его номинация на Королевское общество гласит:
Питер Бунеман известен своими достижениями в объединении языков программирования и баз данных. С теоретической стороны это включало новые результаты в типах, монадах и структурной рекурсии, включая (совместно со своим учеником Охори) вывод типов для типов записей, и (совместно с Танненом и др.) результаты, которые продемонстрировали тесную связь между языками, основанными на монадах, и языками, основанными на исчислении предикатов. С прикладной стороны он использовал эти методы, чтобы продемонстрировать, что — вопреки утверждению Министерства энергетики США — запросы к существующим нереляционным геномным базам данных могут быть оценены напрямую; последовало плодотворное сотрудничество с биологами.
Это исследование переносится в его недавнее исследование принципов полуструктурированных или «сетевых» данных. Он является ведущим сторонником этой новой области и соавтором первого учебника в ней. Еще одна недавняя проблема связана с происхождением данных в Интернете, где данные постоянно копируются и преобразуются. Вместе с Ханной и др. он уже построил эффективную систему архивирования для научных баз данных; что более фундаментально, он ищет формальную основу для отслеживания происхождения.
Помимо работы с базами данных, ранние работы Бунемана по математической филогении лежат в основе большинства современных методов филогенетических реконструкций. [1]
Бунеман — сын физика Оскара Бунемана .
{{cite web}}
: Цитата использует общее название ( помощь ){{cite web}}
: CS1 maint: несколько имен: список авторов ( ссылка )