Honorary doctor at the IT Faculty 2011:
Professor Christine Paulin-Mohring
On the 21 of October Christine Paulin-Mohring, professor at Paris Sud, was 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 was awarded an honorary doctorate at the IT Faculty, University of Gothenburg. The day after, 22 of October, the Department of Computer Science and Engineering arranged a workshop within the area of Paulin-Mohring's research.