Пьер Женев
Пьер Женев | |
|---|---|
| Рожденный | 1980 |
| Национальность | Французский |
| Альма-матер | ИНПГ |
| Известный | Его работа в области логики структурированных данных и моделирования запросов. |
| Награды | EADS Премия Бронзовая медаль ЦНРС. |
| Научная карьера | |
| Поля | Информатика |
Пьер Женевес — французский ученый-компьютерщик, родившийся в 1980 году. Он является научным сотрудником CNRS и обладателем бронзовой медали CNRS 2013 года .
Биография
[ редактировать ]Пьер Женевес родился в Каоре в 1980 году и в 2001 году основал компанию по разработке графического программного обеспечения , которое позже продавалось под названием AceDesign Pro канадской компанией-разработчиком программного обеспечения Visicom Media .
В 2003 и 2004 годах он работал в IBM Research в Нью-Йорке , где изучал проектирование масштабируемых архитектур для запроса и преобразования потоков структурированных данных. [1]
Он окончил университет Гренобля, где получил степень доктора компьютерных наук в 2006 году. Его диссертация, посвященная вычислительной логике для рассуждений о древовидных данных , была удостоена премии EADS за лучшую докторскую диссертацию в 2007 году. [2] и приз за лучшую кандидатскую диссертацию университета INPG в 2008 году. [3]
После получения докторской степени в Швейцарском федеральном технологическом институте в Лозанне ( EPFL ) в 2007 году он присоединился к CNRS , где изучал и внес свой вклад в область модальной логики , такой как модальное мю-исчисление , которое он использовал для моделирования языков запросов, и позволяют автоматически рассуждать о программах, манипулирующих структурированными данными. Пионер статического анализа каскадных таблиц стилей веб-страниц. [4] его результаты в области логики также применимы к области языков программирования , разработки программного обеспечения и искусственного интеллекта .
Награды
[ редактировать ]- Премия EADS 2007 г. [5]
- Бронзовая медаль ЦНРС в 2013 году. [6]
Библиография
[ редактировать ]- (на английском языке) «Об анализе каскадных таблиц стилей» , Пьер Женевес, Набиль Лайайда и Винсент Квинт, Труды 21-й Международной конференции по Всемирной паутине (WWW), стр. 809–818, 2012.
- (по-английски) Женевьев, Пьер (2009). Логика для XML: рассуждения с помощью деревьев . ISBN 978-3639193718 .
- (на английском языке) «Эффективный статический анализ путей и типов XML» , Пьер Женевес, Набиль Лайайда и Алан Шмитт, Материалы конференции ACM SIGPLAN по проектированию и реализации языков программирования (PLDI), стр. 342–351, июнь 2007 г.
- Портрет в Пантеоне , выставка в Париже, 2010 г.
Сноски
[ редактировать ]- ^ «Оптимизация выражений XPath для оценки при потоковой передаче данных XML» .
- ^ Премия EADS [ постоянная мертвая ссылка ]
- ^ «Премия за лучшую кандидатскую диссертацию, ИНПГ» . Архивировано из оригинала 3 марта 2016 г. Проверено 27 мая 2013 г.
- ^ Об анализе каскадных таблиц стилей, Конференция World Wide Web, 2012 г.
- ^ Премия EADS [ постоянная мертвая ссылка ]
- ^ Бронзовая медаль CNRS
| Международный | |
|---|---|
| академики | |
| Другой | |
