Christine Paulin-Mohring
| Use attributes for filter ! | |
| Gender | Female |
|---|---|
| Citations | 3,931 |
| Education | Université Paris Diderot Paris 7 |
| Awards | ACM Software System Award |
| Interests | Computer Science : Formal Methods |
| Proof Assistants | |
| Type Theory | |
| Academic advisor | Gérard Huet |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3828372 |
Christine Paulin-Mohring Life story
Christine Paulin-Mohring is a mathematical logician and computer scientist, and Professor at Paris-Saclay University, best known for developing the interactive theorem prover Coq.
