Pierre Geneves - Pierre Geneves
Pierre Genevès | |
|---|---|
| narozený | 1980 |
| Národnost | francouzština |
| Alma mater | INPG |
| Známý jako | Jeho práce v logice pro strukturovaná data a modelování dotazů |
| Ocenění | EADS Cena Bronzová medaile CNRS |
| Vědecká kariéra | |
| Pole | Počítačová věda |
Pierre Genevès je Francouz počítačový vědec narozen v roce 1980. Je vědeckým pracovníkem v CNRS a příjemce roku 2013 Bronzová medaile CNRS.
Životopis
Narozen v Cahors v roce 1980 založil Pierre Genevès v roce 2001 softwarovou společnost vyvíjející a grafický software, později prodávaná pod názvem AceDesign Pro kanadskou softwarovou společností Visicom Media.[1]
Pracoval v IBM Research v New York City v letech 2003 a 2004 studoval návrh škálovatelných architektur pro dotazování a transformaci toků strukturovaných dat.[2]
Vystudoval univerzitu v Grenoblu, kde získal titul PhD počítačová věda v roce 2006. Jeho práce, týkající se výpočetní logika pro úvahy o data ve tvaru stromu, získal cenu EADS za nejlepší disertační práci v roce 2007,[3] a cena za nejlepší disertační práci univerzity INPG v roce 2008.[4]
Po postdoktorátu na Švýcarský federální technologický institut v Lausanne (EPFL ) 2007, připojil se CNRS kde studoval a přispíval do oboru modální logika, jako modální mu-počet, který použil pro modelování dotazovacích jazyků, a umožnil automatické uvažování o programech, které manipulují se strukturovanými daty. Průkopník statické analýzy Kaskádové styly pro webové stránky,[5] jeho výsledky v logice platí také pro pole programovací jazyky, softwarové inženýrství a umělá inteligence.
Ocenění
- EADS Cena v roce 2007[6]
- Bronzová medaile CNRS v roce 2013.[7]
Bibliografie
- (v angličtině) O analýze kaskádových stylů, Pierre Genevès, Nabil Layaida a Vincent Quint, Proceedings of the 21st International Conference on World Wide Web (WWW), str. 809–818, 2012.
- (v angličtině) Genevès, Pierre (2009). Logika pro XML: uvažování se stromy. ISBN 978-3639193718.
- (v angličtině) Efektivní statická analýza cest a typů XML, Pierre Genevès, Nabil Layaida a Alan Schmitt, sborník z konference ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), s. 342–351, červen 2007.
- Portrét v Pantheonu, Výstava v Paříži, 2010
Poznámky pod čarou
- ^ Visicom Media
- ^ http://www.google.com/patents/US20050257201
- ^ Cena EADS[trvalý mrtvý odkaz ]
- ^ „Cena za nejlepší disertační práci, INPG“. Archivovány od originál dne 03.03.2016. Citováno 2013-05-27.
- ^ Na základě analýzy kaskádových stylů, World Wide Web Conference, 2012
- ^ Cena EADS[trvalý mrtvý odkaz ]
- ^ Bronzová medaile CNRS
