Etkileşimli teorem kanıtlayıcı Rocq'un geliştirilmesi, Christine Paulin-Mohring'in birincil teknik katkısı olarak öne çıkmaktadır. 1962 doğumlu bir Fransız bilgisayar bilimcisi ve matematiksel mantıkçı olarak araştırmaları, matematiksel akıl yürütmenin hesaplama sistemleri aracılığıyla resmileştirilmesine odaklanmaktadır. Akademik kariyeri, onlarca yıllık kurumsal liderliği ve küresel bilim camiasında yazılım ve kanıtların titiz bir şekilde doğrulanmasına yönelik katkıları kapsamaktadır.
Akademik temel ve kariyer
Paulin-Mohring, doktora çalışmalarını 1989 yılında Gérard Huet'nin danışmanlığında tamamladı. Kariyeri, özellikle eğitimini aldığı Paris Diderot Üniversitesi olmak üzere Fransız yükseköğretim sistemine dayanmaktadır. 1997'den beri Paris-Saclay Üniversitesi'nde profesörlük yapmaktadır. İdari görevleri arasında 2016'dan 2021'e kadar Paris-Saclay Bilim Fakültesi dekanlığı yapmak yer almaktadır ve 2012 ile 2015 yılları arasında Labex DigiCosme'nin Bilimsel Koordinatörü olarak görev yapmıştır.
Teorem kanıtlamaya katkılar
Eskiden Coq olarak tanımlanan Rocq sistemi, etkileşimli teorem kanıtlama alanında önemli bir ilerlemeyi temsil etmektedir. Paulin-Mohring; Thierry Coquand, Gérard Huet, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, Chetan Murthy, Yves Bertot ve Pierre Castéran'ın yer aldığı bir geliştirme ekibiyle iş birliği yapmıştır. Bu kolektif çaba, mantığı resmileştirmek ve matematiksel kanıtları doğrulamak için araçlar sağlamış, bu da onun Journal of Formalized Reasoning'in yayın kurulunda aktif olarak yer almasını sağlamıştır.
Mesleki tanınırlık
Association for Computing Machinery (ACM), 2013 yılında Rocq geliştirme ekibini ACM Yazılım Sistemi Ödülü ile onurlandırmıştır. İki yıl sonra, Fransız Bilimler Akademisi, Paulin-Mohring'e Michel Monpetit Ödülü'nü vermiştir. 2014 yılında, Avrupa bilimsel araştırma camiasındaki konumunu yansıtan bir şekilde Academia Europaea üyesi olarak seçilmiştir.
Hızlı bilgiler
- Doğum: 1962 - Vatandaşlık: Fransa - Eğitim: Paris Diderot Üniversitesi - Mevcut işveren: ComUE Paris-Saclay Üniversitesi - Ana proje: Rocq teorem kanıtlayıcı - ACM Yazılım Sistemi Ödülü: 2013 - Michel Monpetit Ödülü: 2015 - Academia Europaea üyeliği: 2014'ten beri
Okuyucuların sorduğu sorular
### Christine Paulin-Mohring'in temel akademik odak noktası nedir?
Etkileşimli teorem kanıtlama konusunda uzmanlaşmış bir matematiksel mantıkçı ve bilgisayar bilimcisidir.
### Hangi önemli yazılım sistemi ile ilişkilidir?
Daha önce Coq olarak adlandırılan ve şimdi Rocq olarak bilinen etkileşimli teorem kanıtlayıcı üzerindeki çalışmalarıyla tanınmaktadır.
.jpg)