Xavier Leroy - Xavier Leroy

Xavier Leroy
Doğum (1968-03-15) 15 Mart 1968 (yaş 52)
MilliyetFransızca
gidilen okulParis Diderot Üniversitesi
Bilimsel kariyer
AlanlarBilgisayar Bilimi
Kurumlar
Doktora danışmanıGérard Huet

Xavier Leroy (15 Mart 1968 doğumlu) bir Fransızca bilgisayar uzmanı ve programcı. En çok, ana geliştirici rolüyle tanınır. OCaml sistemi. Yazılım bilimi profesörüdür. Collège de France. Randevusundan önce Collège de France 2018'de kıdemli bilim insanıydı (direktör de recherche) Fransız hükümeti araştırma kurumunda Inria.

Leroy, Ecole normale supérieure 1987'de Paris'te matematik ve bilgisayar bilimleri okudu. 1989'dan 1992'ye kadar kendi Doktora bilgisayar biliminde gözetiminde Gérard Huet.

Uluslararası alanda tanınan bir uzmandır. fonksiyonel programlama diller ve derleyiciler. Son yıllarda ilgi gördü resmi yöntemler, resmi kanıtlar ve sertifikalı derleme. O liderdir CompCert optimizasyon geliştiren proje derleyici için C (programlama dili), resmen doğrulandı içinde Coq.

Leroy aynı zamanda kitabın orijinal yazarıydı. LinuxThreads, en çok kullanılan iş parçacığı paket için Linux önceki sürümler 2.6. Linux 2.6 tanıtıldı NPTL, LinuxThreads'in yerini alacak çok daha kapsamlı çekirdek desteği ile.

2015 yılında dost of Bilgi İşlem Makineleri Derneği "güvenli, yüksek performanslı işlevsel programlama dillerine ve derleyicilere ve derleyici doğrulamasına katkılar için."[1] 2016 ödülünü aldı Milner Ödülü tarafından Kraliyet toplumu.[2]

Referanslar

  1. ^ Dijital Çağda Teknolojiyi Geliştiren Bilgi İşlem Yeniliklerinden Yararlanan ACM Üyeleri, Bilgi İşlem Makineleri Derneği, 2015, alındı 2015-12-09.
  2. ^ "Royal Society Milner Ödülü". Kraliyet toplumu. Alındı 19 Kasım 2015.

Dış bağlantılar