Пьер Женев - Pierre Geneves

Пьер Женевес
Родившийся1980
Кагор
НациональностьФранцузский
Альма-матерINPG
ИзвестенЕго работа в области логики структурированных данных и моделирования запросов.
НаградыEADS Приз
Бронзовая медаль CNRS
Научная карьера
ПоляИнформатика

Пьер Женевес француз специалист в области информатики родился в 1980 году. Он научный сотрудник в CNRS и лауреат премии 2013 г. Бронзовая медаль CNRS.

биография

Рожден в Кагор в 1980 году Пьер Женевес основал в 2001 году компанию по разработке программного обеспечения, графическое программное обеспечение, позже продаваемый под названием AceDesign Pro канадской компанией-разработчиком программного обеспечения Visicom Media.[1]

Он работал в IBM Research в Нью-Йорк в 2003 и 2004 годах, где он изучал дизайн масштабируемых архитектур для запросов и преобразования потоков структурированных данных.[2]

Он окончил университет Гренобля, в котором получил степень доктора философии. Информатика в 2006 г. защитил диссертацию по вычислительная логика для рассуждения о данные в виде дерева был награжден премией EADS за лучшую кандидатскую диссертацию в 2007 году,[3] и приз за лучшую докторскую диссертацию от университета INPG в 2008 году.[4]

После докторантуры в Швейцарский федеральный технологический институт в Лозанне (EPFL ) 2007 г., он присоединился к CNRS где он учился и внес свой вклад в сферу модальная логика, словно модальный мю-исчисление, которые он использовал для моделирования языков запросов, и позволяют автоматическое рассуждение о программах, которые манипулируют структурированными данными. Пионер статического анализа каскадные таблицы стилей для веб-страниц,[5] его результаты в логике также применимы к областям языки программирования, программная инженерия и искусственный интеллект.

Награды

Библиография

  • (по-английски) Об анализе каскадных таблиц стилей, Пьер Женевес, Набиль Лаяйда и Винсент Квинт, Труды 21-й Международной конференции по всемирной паутине (WWW), стр. 809–818, 2012.
  • (по-английски) Женева, Пьер (2009). Логика для XML: рассуждения с помощью деревьев. ISBN  978-3639193718.
  • (по-английски) Эффективный статический анализ путей и типов XML, Пьер Женевес, Набиль Лаяйда и Алан Шмитт, Труды конференции ACM SIGPLAN по проектированию и реализации языков программирования (PLDI), стр. 342–351, июнь 2007 г.
  • Портрет в Пантеоне, Выставка в Париже, 2010 г.

Сноски

  1. ^ Visicom Media
  2. ^ http://www.google.com/patents/US20050257201
  3. ^ Приз EADS[постоянная мертвая ссылка ]
  4. ^ «Приз за лучшую кандидатскую диссертацию, INPG». Архивировано из оригинал на 2016-03-03. Получено 2013-05-27.
  5. ^ Об анализе каскадных таблиц стилей, World Wide Web Conference, 2012
  6. ^ Приз EADS[постоянная мертвая ссылка ]
  7. ^ Бронзовая медаль CNRS