Doğum |
1980 Cahors ( Fransa ) |
---|---|
Milliyet | Fransızca |
Alanlar | Bilgisayar Bilimi |
Kurumlar | Inria , EPFL , CNRS |
Diploma | Grenoble Politeknik Enstitüsü |
Ünlü | Ağaç yapısı mantığında ve sorgu modellemede çalışın |
Ödüller | EADS
tez ödülü CNRS'den bronz madalya |
Pierre Genevès , 1980 doğumlu Fransız bir bilgisayar bilimcisidir . CNRS'de araştırmacı ve 2013'te CNRS bronz madalya kazanmıştır.
Doğan Cahors içinde 1980 , Pierre Genevès içinde 2001 yılında gelişmekte bir şirket grafik yazılımı özellikle Kanadalı yazılım yayıncı tarafından adı AceDesign Pro altında pazarlanan, Visicom Media ( fr ) .
O yapısal veri manipülasyonu akar okudu IBM Research in New York'ta içinde 2003 ve 2004 ve onun lisansüstü çalışma yaptı Grenoble o bir doktora tezi yaptığım yerde INRIA kadar 2006 . Ağaç yapıları üzerinde mantık yürütmek için matematiksel mantığı ilgilendiren tezi, 2007'de en iyi EADS tezi ve 2008'de INPG'nin ödülünü aldı.
Lozan Federal Politeknik Okulu'nda doktora sonrası eğitim aldıktan sonra , 2007'de CNRS'ye girdi ve burada, sorgu dillerini modellemek ve otomatikleştirilmiş muhakemeye izin vermek için kullandığı modal mu-calculus gibi dinamik mantıkları okudu ve bunlara katkıda bulundu. yapılandırılmış verileri işleyen programlar hakkında. Web sayfaları için CSS stil sayfalarının statik analizinde bir öncü olan mantık alanındaki sonuçları, programlama dilleri , yazılım mühendisliği ve yapay zeka alanlarında da geçerlidir .