Вэл Таннен
Вэл Таннен | |
|---|---|
 | |
| Рожденный | 1953 (70–71 год) Румыния |
| Альма-матер | С |
| Награды |
|
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Пенсильванский университет |
| Докторантура | Альберт Мейер |
| Докторанты | Дэн Сучиу |
| Веб-сайт | https://www.cis.upenn.edu/~val/home.html |
Вэл Таннен — ученый-компьютерщик, известный своим вкладом в области систем баз данных и языков программирования. В настоящее время он является профессором кафедры компьютерных и информационных наук Пенсильванского университета .
Биография
[ редактировать ]Таннен родился в Румынии и получил степень бакалавра в Политехническом институте Бухареста . После эмиграции в США он получил докторскую степень в Массачусетском технологическом институте под руководством Альберта Мейера . Он занимал многочисленные международные гостевые должности. [ 1 ]
Взносы
[ редактировать ]Таннен внес свой вклад в разработку принципов языков программирования и баз данных, а также в объединение этих двух предметов. Одним из основных достижений Таннена является использование структурной рекурсии для определения языка запросов для вложенных отношений. Это не только обеспечило основу для оптимизации запросов на вложенных отношениях, но и стало (благодаря использованию понятий ) стандартным методом внедрения реляционных баз данных в языки программирования. [ 2 ] Другим примером является изобретение полуколец происхождения, которые дают обобщение многих дополнений к реляционным базам данных, таких как вероятностные базы данных , C-таблицы и семантика сумок, а также обеспечивают общий формализм происхождения данных. [ 3 ] Помимо баз данных и языков программирования, Таннен внес вклад в биоинформатику, а также в систематическую и эволюционную биологию. [ 4 ]
24 и 25 мая 2024 года в Пенсильванском университете прошел фестиваль в честь Вэла Таннена. [ 5 ]
Награды и почести
[ редактировать ]- 2023 г. Иностранный член Европейской академии. [ 6 ]
- 2017 г. Премия Мендельзона за 10-летие испытания временем на Симпозиуме по принципам систем баз данных [ 7 ]
- 2013 Член Ассоциации вычислительной техники. [ 8 ]
- 2014 г. Награда «20 лет «Испытание временем»» от Intl. Конф. по теории баз данных [ 9 ]
- 1990–1995 Президентский молодой исследователь Национального научного фонда США.
Ссылки
[ редактировать ]- ^ «Веб-страница Европейской академии» . Проверено 9 апреля 2024 г.
- ^ Бунеман, Питер; Накви, Шамим; Таннен, Вэл; Вонг, Лимссон (1995). «Принципы программирования со сложными объектами и типами коллекций» . Теоретическая информатика . 149 (1): 3–48. дои : 10.1016/0304-3975(95)00024-Q .
- ^ Грин, Тодд Дж.; Карвунаракис, Григорис; Таннен, Вэл (11 июня 2007 г.). «Провенанс полукольца» . Материалы двадцать шестого симпозиума ACM SIGMOD-SIGACT-SIGART по принципам систем баз данных . АКМ. стр. 31–40. дои : 10.1145/1265530.1265535 . ISBN 978-1-59593-685-1 .
- ^ Дэвидсон, SB; Овертон, К.; Таннен, В.; Вонг, Л. (1 апреля 1997 г.). «БиоКлейсли: цифровая библиотека для биомедицинских исследователей» . Международный журнал цифровых библиотек . 1 (1): 36–53. дои : 10.1007/s007990050003 . ISSN 1432-5012 .
- ^ Амарилли, Антуан; Дойч, Алин (2024). Происхождение элегантности в вычислениях — эссе, посвященные Вэлу Таннену . Schloss Dagstuhl, Серия OpenAccess по информатике.
- ^ «Веб-страница Европейской академии» . Проверено 9 апреля 2024 г.
- ^ «Премия ACM PODS Альберто О. Мендельзона за испытание временем» . Проверено 9 апреля 2024 г.
- ^ «Вэл Таннен» . Проверено 9 апреля 2024 г.
- ^ «Награда ICDT за испытание временем» . Проверено 9 апреля 2024 г.