Фокион Г. Колайтис
Фокион Г. Колайтис | |
|---|---|
| Рожденный | 4 июля 1950 г. |
| Альма-матер | Афинский университет Калифорнийский университет в Лос-Анджелесе |
| Награды | Стипендия Гуггенхайма НКУА Почетный доктор Премия Алонзо Чёрча |
| Научная карьера | |
| Поля | Системы баз данных Логика в информатике Вычислительная сложность |
| Учреждения | |
| Докторантура | Яннис Н. Мошовакис |
| Веб-сайт | пользователи |
Фокион Г. Колайтис АКМ (родился 4 июля 1950 г.) — ученый-компьютерщик , в настоящее время является заслуженным профессором-исследователем Калифорнийского университета в Санта-Крус и главным научным сотрудником Исследовательского центра IBM в Альмадене . Его исследовательские интересы включают принципы систем баз данных, логику в информатике и сложность вычислений.
Образование [ править ]
Колайтис получил степень бакалавра математики в Афинском университете в 1973 году, а также степень магистра и доктора математики в Калифорнийском университете в Лос-Анджелесе в 1974 и 1978 годах соответственно. [1]
и исследования Карьера
Колайтис в настоящее время является заслуженным профессором-исследователем на факультете компьютерных наук и инженерии Калифорнийского университета в Санта-Крус . Он также является главным научным сотрудником теоретической группы Исследовательского центра IBM в Альмадене . Он известен своими работами по принципам систем баз данных , логике в информатике , сложности вычислений и другим смежным областям. [2]
Избранные публикации [ править ]
Обмен данными: семантика и ответы на запросы, Р. Фейгин , П. Г. Колайтис, Р. Дж. Миллер , Л. Попа, Теоретическая информатика 336 (1), 89-124 [3]
Сдерживание конъюнктивного запроса и удовлетворение ограничений, П.Г. Колайтис, М.Ю. Варди , Журнал компьютерных и системных наук 61 (2), 302-332 [4]
Обмен данными: добраться до ядра, Р. Фейгин , П.Г. Колайтис, Л. Попа, Транзакции ACM в системах баз данных (TODS) 30 (1), 174-210 [5]
Составление сопоставлений схем: зависимости второго порядка на помощь, Р. Фейгин , П. Г. Колайтис, Л. Попа, В. К. Тан, Транзакции ACM в системах баз данных (TODS) 30 (4), 994-1055 [6]
О проблеме решения для логики первого порядка с двумя переменными, Э. Гредель, П.Г. Колайтис, М.Ю. Варди , Бюллетень символической логики , 53-69 [7]
Признание [ править ]
- 1993 Стипендия Гуггенхайма , Мемориальный фонд Джона Саймона Гуггенхайма
- 2005 г. Член . Ассоциации вычислительной техники [8]
- 2007 г. Иностранный член Финской академии наук и литературы .
- 2008 Премия Ассоциации вычислительной техники PODS Альберто О. Мендельзона за испытание временем за статью «Сдерживание конъюнктивных запросов и удовлетворение ограничений» (в соавторстве с Моше Ю. Варди )
- 2010 г. Сотрудник , Американская ассоциация содействия развитию науки. [9]
- 2013 года Премия Международной конференции по теории баз данных за испытание временем за статью «Обмен данными: семантика и ответы на запросы» (в соавторстве с Р. Фэджином, Р. Дж. Миллером и Л. Попа)
- 2014 г. Почетная докторская степень, факультет математики и факультет информатики и телекоммуникаций, Афинский университет , Греция. [10]
- Премия 2014 г. Ассоциации вычислительной техники PODS Альберто О. Мендельзона за испытание временем за статью «Составление отображений схем: логика второго порядка спешит на помощь» (в соавторстве с Р. Фэджином, Л. Попа и В.-К. . Тан)
- 2017 Иностранный член Европейской академии наук
- 2020 года Премия Алонзо Чёрча за выдающийся вклад в логику и вычисления (со-победитель) [11]
Ссылки [ править ]
- ^ «Биографическая справка. Фокион Г. Колайтис» (PDF) .
- ^ «Специальное мероприятие Фокион Колайтис на SIGMOD 2019» .
- ^ Феджин, Рональд; Колайтис, Фокион Г.; Миллер, Рене Дж.; Попа, Люциан (25 мая 2005 г.). «Обмен данными: семантика и ответы на запросы» . Теоретическая информатика . 336 (1): 89–124. дои : 10.1016/j.tcs.2004.10.033 . ISSN 0304-3975 .
- ^ Колайтис, Фокион Г.; Варди, Моше Ю. (1 октября 2000 г.). «Сдерживание конъюнктивного запроса и удовлетворение ограничений» . Журнал компьютерных и системных наук . 61 (2): 302–332. дои : 10.1006/jcss.2000.1713 . ISSN 0022-0000 .
- ^ Феджин, Рональд; Колайтис, Фокион Г.; Попа, Люциан (1 марта 2005 г.). «Обмен данными: добираемся до сути» . Транзакции ACM в системах баз данных . 30 (1): 174–210. дои : 10.1145/1061318.1061323 . ISSN 0362-5915 . S2CID 59942308 .
- ^ Феджин, Рональд; Колайтис, Фокион Г.; Попа, Люциан; Тан, Ван-Чью (1 декабря 2005 г.). «Составление сопоставлений схем: на помощь приходят зависимости второго порядка» . Транзакции ACM в системах баз данных . 30 (4): 994–1055. дои : 10.1145/1114244.1114249 . ISSN 0362-5915 . S2CID 5768010 .
- ^ Гредель, Эрих; Колайтис, Фокион Г.; Варди, Моше Ю. (1997). «О проблеме решения для логики первого порядка с двумя переменными» . Бюллетень символической логики . 3 (1): 53–69. дои : 10.2307/421196 . ISSN 1079-8986 . JSTOR 421196 . S2CID 14868390 .
- ^ «Стипендиаты ACM 2005» .
- ^ «Сотрудники AAAS» .
- ^ «Докторантура НКУА» .
- ^ «Премия Алонсо Чёрча 2020 года» .
Внешние ссылки [ править ]
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
