Honorary doctorate at the IT Faculty for Christine Paulin-Mohring
News: Oct 19, 2011
On the 21 of October Christine Paulin-Mohring, professor at Paris Sud, is being awarded an honorary doctorate at the IT Faculty, University of Gothenburg. The appointment is based on Paulin-Mohring contributions in the field of programming logics, both theoretically and practically.
Christine Paulin-Mohring earned her doctorate from Paris 7 in 1989 and 
was appointed Professor at Paris Sud in 1997, a position she still holds. She was in charge of the work related to Coq for ten years. Coq is currently considered the number one proof editor in the world; a proof editor is an editor programme that can be used to prove characteristics of a programme or other mathematical objects. The computer checks that the proof is correct.
Paulin-Mohring has contributed significantly in the field of programming logics, both theoretically and practically. Coq has for example been used to provide a computer-checked proof of the so-called four colour theorem, a mathematical problem that used to have only a widely debated mathematical proof that was based on a non-verified computer programme.
In recent years, her work has become more practically oriented. Paulin-Mohring and her research team have developed systems and methods for computer-checked proofs of programmes written in the popular programming languages Java and C. This has enabled them to study and verify critical algorithms related to telecommunication and smart cards, which are plastic cards with built-in chips.
On the 21 of October professor Christine Paulin-Mohring is awarded an honorary doctorate at the IT Faculty, University of Gothenburg. The day after, 22 of October, the Department of Computer Science and Engineering arranges a workshop within the area of Paulin-Mohring's research.
Contact Information
Catharina Jerkbrant, kommunikatör
IT Faculty, SE-412 96 Göteborg, SWEDEN
Visiting Address:
Lindholmsplatsen 1
Phone:
+46 (0)31 772 4898, +46 (0)766 18 27 48