Göteborgs universitet
Länkstig

Our first two honorary doctors

Professor Christine Paulin Mohring and Professor Sirkka Jarvenpaa were the first two honorary doctors to be appointed at the IT Faculty.

Honorary doctor at the IT Faculty 2012:
Professor Sirkka Jarvenpaa

Bild
Professor Sirkka Jarvenpaa

Professor Sirkka Jarvenpaa, McCombs School of Business, University of Texas, has been appointed as 2012's honorary doctor at the IT Faculty, University of Gothenburg. Professor Jarvenpaa is the James Bayless/Rauscher Pierce Refsnes Chair in Business Administration and is one of the most prolific scholars in the field of information systems.

After earning her PhD at University of Minnesota in 1986, Professor Jarvenpaa's research has been repeatedly published in top-notch information systems and management journals. Professor Jarvenpaa’s research impact is evident considering her grand total of nearly 15,000 citations and an H-index of 48.

Professor Jarvenpaa’s research on innovation, virtual collaboration, and virtual organizations relates excellent to the research conducted at Department of Applied IT. Professor Jarvenpaa is a true boundary-spanner and her inter-disciplinary profile and interests reach well beyond the IT Faculty.

Professor Sirkka Jarvenpaa was awarded an honorary doctorate at the IT Faculty, University of Gothenburg, on 19 October 2012.

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.

Professor Christine Paulin-Mohring
Professor Christine Paulin Mohring