Фокион Г. Колайтис

Фокион Г. Колайтис
Фокион Г. Колайтис
Рожденный	4 июля 1950 г. (74 года) ; Афины , Греция
Альма-матер	Афинский университет ; Калифорнийский университет в Лос-Анджелесе
Награды	Стипендия Гуггенхайма ; НКУА Почетный доктор ; Премия Алонзо Чёрча
	Научная карьера
Поля	Системы баз данных ; Логика в информатике ; Вычислительная сложность
Учреждения	Калифорнийский университет в Санта-Крус ; IBM Research — Альмаден ;
Докторантура	Яннис Н. Мошовакис
Веб-сайт	пользователи .бы .ucsc .edu /~колит /

Фокион Г. Колайтис ^АКМ (родился 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 года» .

Внешние ссылки

Домашняя страница Калифорнийского университета в Санта-Крузе

[1] «Биографическая справка. Фокион Г. Колайтис» (PDF) .

[2] «Специальное мероприятие Фокион Колайтис на SIGMOD 2019» .

[3] Феджин, Рональд; Колайтис, Фокион Г.; Миллер, Рене Дж.; Попа, Люциан (25 мая 2005 г.). «Обмен данными: семантика и ответы на запросы» . Теоретическая информатика . 336 (1): 89–124. дои : 10.1016/j.tcs.2004.10.033 . ISSN 0304-3975 .

[4] Колайтис, Фокион Г.; Варди, Моше Ю. (1 октября 2000 г.). «Сдерживание конъюнктивного запроса и удовлетворение ограничений» . Журнал компьютерных и системных наук . 61 (2): 302–332. дои : 10.1006/jcss.2000.1713 . ISSN 0022-0000 .

[5] Феджин, Рональд; Колайтис, Фокион Г.; Попа, Люциан (1 марта 2005 г.). «Обмен данными: добираемся до сути» . Транзакции ACM в системах баз данных . 30 (1): 174–210. дои : 10.1145/1061318.1061323 . ISSN 0362-5915 . S2CID 59942308 .

[6] Феджин, Рональд; Колайтис, Фокион Г.; Попа, Люциан; Тан, Ван-Чью (1 декабря 2005 г.). «Составление сопоставлений схем: на помощь приходят зависимости второго порядка» . Транзакции ACM в системах баз данных . 30 (4): 994–1055. дои : 10.1145/1114244.1114249 . ISSN 0362-5915 . S2CID 5768010 .

[7] Гредель, Эрих; Колайтис, Фокион Г.; Варди, Моше Ю. (1997). «О проблеме решения для логики первого порядка с двумя переменными» . Бюллетень символической логики . 3 (1): 53–69. дои : 10.2307/421196 . ISSN 1079-8986 . JSTOR 421196 . S2CID 14868390 .

[8] «Стипендиаты ACM 2005» .

[9] «Сотрудники AAAS» .

[10] «Докторантура НКУА» .

[11] «Премия Алонсо Чёрча 2020 года» .

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

Базы данных авторитетного контроля
Международный	ВИАФ
Национальный	Израиль Соединенные Штаты
академики	Ассоциация вычислительной техники ЦиНии ДБЛП Google Академика MathSciNet Проект математической генеалогии
Другой	ИдРеф