Die Entwicklung des interaktiven Theorembeweisers Rocq ist der wichtigste technische Beitrag von Christine Paulin-Mohring. Als französische Informatikerin und mathematische Logikerin, geboren 1962, konzentriert sich ihre Forschung auf die Formalisierung mathematischen Schließens durch Computersysteme. Ihre akademische Laufbahn umfasst Jahrzehnte institutioneller Führung und Beiträge zur rigorosen Verifizierung von Software und Beweisen innerhalb der weltweiten wissenschaftlichen Gemeinschaft.
Akademische Grundlagen und Karriere
Paulin-Mohring schloss ihr Doktoratsstudium 1989 unter der Betreuung von Gérard Huet ab. Ihre Karriere ist fest in der französischen Hochschulbildung verwurzelt, insbesondere an der Universität Paris Diderot, wo sie ihre Ausbildung absolvierte. Seit 1997 hat sie eine Professur an der Universität Paris-Saclay inne. Zu ihren administrativen Aufgaben gehörten das Dekanat der Fakultät für Wissenschaften der Universität Paris-Saclay von 2016 bis 2021 sowie die Tätigkeit als wissenschaftliche Koordinatorin des Labex DigiCosme zwischen 2012 und 2015.
Beiträge zur Theorembeweisung
Das Rocq-System, früher als Coq bezeichnet, stellt einen bedeutenden Fortschritt bei der interaktiven Theorembeweisung dar. Paulin-Mohring arbeitete mit einem Entwicklerteam zusammen, dem unter anderem Thierry Coquand, Gérard Huet, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, Chetan Murthy, Yves Bertot und Pierre Castéran angehörten. Diese gemeinsame Anstrengung lieferte Werkzeuge zur Formalisierung von Logik und zur Verifizierung mathematischer Beweise, was zu ihrer aktiven Mitarbeit im Redaktionsbeirat des Journal of Formalized Reasoning führte.
Berufliche Anerkennung
Die Association for Computing Machinery zeichnete das Rocq-Entwicklerteam 2013 mit dem ACM Software System Award aus. Zwei Jahre später verlieh die französische Akademie der Wissenschaften Paulin-Mohring den Michel-Monpetit-Preis. Im Jahr 2014 wurde sie zum Mitglied der Academia Europaea gewählt, was ihr Ansehen in der europäischen wissenschaftlichen Forschungsgemeinschaft unterstreicht.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Fakten auf einen Blick
- Geboren: 1962 - Staatsangehörigkeit: Frankreich - Ausbildung: Universität Paris Diderot - Aktueller Arbeitgeber: ComUE Universität Paris-Saclay - Hauptprojekt: Rocq-Theorembeweiser - ACM Software System Award: 2013 - Michel-Monpetit-Preis: 2015 - Mitglied der Academia Europaea seit: 2014
Fragen der Leser
### Was ist der akademische Schwerpunkt von Christine Paulin-Mohring?
Sie ist mathematische Logikerin und Informatikerin, die sich auf interaktive Theorembeweisung spezialisiert hat.
### Mit welchem wichtigen Softwaresystem wird sie in Verbindung gebracht?
Sie ist für ihre Arbeit an dem interaktiven Theorembeweiser namens Rocq bekannt, der früher Coq hieß.
.jpg)