# Christine Paulin-Mohring

> Mathematical logician and computer scientist

**Wikidata**: [Q33138766](https://www.wikidata.org/wiki/Q33138766)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Christine_Paulin-Mohring)  
**Source**: https://4ort.xyz/entity/christine-paulin-mohring

## Summary
Christine Paulin-Mohring is a French computer scientist and mathematician, recognized for her contributions to mathematical logic and computer science. She is an award-winning academic, having received the ACM Software System Award and the Michel Monpetit Prize, and is a member of the Academia Europaea.

## Biography
*   Born: 1962-05-31
*   Nationality: France
*   Education: Paris Diderot University
*   Known for: Contributions to mathematical logic and computer science, and advising numerous doctoral students.
*   Employer(s): ComUE Paris-Saclay University, Paris-Saclay Faculty of Sciences
*   Field(s): Computer science, mathematical logic, mathematics

## Contributions
Christine Paulin-Mohring has made significant contributions to the fields of computer science and mathematical logic. Her work has been recognized with prestigious awards, including the ACM Software System Award in 2013 and the Michel Monpetit Prize in 2015. She became a member of the Academia Europaea in 2014, specifically within the AE section Informatics. As an educator, she has advised a substantial number of doctoral students, including Benjamin Werner, Catherine Parent, Eduardo Giménez, Cuihtlauac Alvarado, Patrick Loiseleur, Pierre Letouzey, Pierre Corbineau, Nicolas Oury, Matthieu Sozeau, and David Delahaye. Her own doctoral advisor was Gérard Huet. She is affiliated with ComUE Paris-Saclay University and works at the Paris-Saclay Faculty of Sciences.

## FAQs
### Q: What is Christine Paulin-Mohring's nationality?
A: Christine Paulin-Mohring is French. She was born on May 31, 1962.

### Q: What awards has Christine Paulin-Mohring received?
A: Christine Paulin-Mohring received the ACM Software System Award in 2013 and the Michel Monpetit Prize in 2015.

### Q: Where did Christine Paulin-Mohring receive her education?
A: Christine Paulin-Mohring was educated at Paris Diderot University.

### Q: What are Christine Paulin-Mohring's primary occupations?
A: Christine Paulin-Mohring is a computer scientist and mathematician. She is also described as a mathematical logician.

### Q: Is Christine Paulin-Mohring a member of any academic organizations?
A: Yes, Christine Paulin-Mohring became a member of the Academia Europaea in 2014, specifically in the AE section Informatics.

## Why They Matter
Christine Paulin-Mohring matters due to her significant impact on the fields of computer science and mathematical logic, recognized by major awards such as the ACM Software System Award and the Michel Monpetit Prize. Her membership in the Academia Europaea further underscores her standing among leading European scholars. Beyond her direct research, her role as a doctoral advisor to numerous students, including Benjamin Werner, has been crucial in shaping the next generation of researchers in these complex domains. Her work at institutions like ComUE Paris-Saclay University and the Paris-Saclay Faculty of Sciences contributes to the advancement of knowledge and education in her specialized areas.

## Notable For
*   Recipient of the ACM Software System Award in 2013.
*   Recipient of the Michel Monpetit Prize in 2015.
*   Member of the Academia Europaea (AE section Informatics) since 2014.
*   Doctoral advisor to ten listed students.
*   Educated at Paris Diderot University.

## Body

### Personal Details
Christine Paulin-Mohring was born on May 31, 1962. She is a French citizen. Her given name is Christine, and her family names are Paulin and Mohring. She is identified as female. She speaks, writes, and signs in French.

### Education and Academic Career
Paulin-Mohring received her education at Paris Diderot University. Her doctoral advisor was Gérard Huet. She currently works at the Paris-Saclay Faculty of Sciences and is employed by ComUE Paris-Saclay University.

### Occupations and Fields
Christine Paulin-Mohring is a computer scientist and a mathematician, specializing as a mathematical logician. Her work is primarily in the fields of computer science and mathematics.

### Awards and Recognition
She has received several notable awards:
*   ACM Software System Award (2013)
*   Michel Monpetit Prize (2015)

In 2014, she became a member of the Academia Europaea, specifically in the AE section Informatics.

### Doctoral Students
Christine Paulin-Mohring has advised a number of doctoral students, including:
*   Benjamin Werner
*   Catherine Parent
*   Eduardo Giménez
*   Cuihtlauac Alvarado
*   Patrick Loiseleur
*   Pierre Letouzey
*   Pierre Corbineau
*   Nicolas Oury
*   Matthieu Sozeau
*   David Delahaye

### Identifiers
Christine Paulin-Mohring is associated with numerous academic and bibliographic identifiers:
*   ISNI: 000000010951855X
*   GND ID: 124201781X
*   VIAF ID: 7513198
*   IdRef ID: 071516689
*   NUKAT ID: n01719574
*   BIBSYS ID: 99000402
*   AE Member ID: Paulin-Mohring_Christine
*   MR Author ID: 278137
*   NL CR Aut ID: xx0043117
*   KBR Person ID: 14531108
*   DBLP Author ID: 85/4254
*   Yale Lux ID: person/59090ba9-f770-4782-a05c-32e9d7dd55c1
*   ZBMath Author ID: paulin-mohring.christine
*   Cinii Research ID: 1140000791663223424
*   NACSIS Cat Author ID: DA11661682
*   WorldCat Entities ID: E39PBJg8DrHYXXPymGRQhfVwG3
*   Google Scholar Author ID: L-H2D9AAAAAJ
*   Google Knowledge Graph ID: /g/11fd7dcwkx
*   Canadiana Name Authority ID: ncf11304186
*   Library of Congress Authority ID: n98084169
*   Mathematics Genealogy Project ID: 128359
*   National Library of Israel J9U ID: 987007431889005171
*   National Library of Israel ID (old): 002178430
*   Bibliothèque Nationale de France ID: 127311970
*   Nationale Thesaurus voor Auteursnamen ID: 314055274

### Online Presence
She has a Wikipedia entry titled "Christine Paulin-Mohring" available in multiple languages (German, English, French, Portuguese, Ukrainian). Her Wikidata description is "Mathematical logician and computer scientist".

```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Christine Paulin-Mohring",
  "jobTitle": ["Computer scientist", "Mathematician"],
  "worksFor": {
    "@type": "Organization",
    "name": "ComUE Paris-Saclay University"
  },
  "nationality": {
    "@type": "Country",
    "name": "France"
  },
  "birthDate": "1962-05-31",
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "Paris Diderot University"
    }
  ],
  "knowsAbout": ["Computer science", "Mathematical logic", "Mathematics"],
  "sameAs": [
    "https://en.wikipedia.org/wiki/Christine_Paulin-Mohring",
    "https://kgsearch.google.com/g/11fd7dcwkx",
    "http://isni.org/isni/000000010951855X",
    "https://viaf.org/viaf/7513198",
    "https://www.idref.fr/071516689",
    "https://www.ae-info.org/ae/User/Paulin-Mohring_Christine",
    "http://id.loc.gov/authorities/names/n98084169",
    "https://catalogue.bnf.fr/ark:/12148/cb127311970",
    "https://dblp.org/pid/85/4254",
    "https://www.mathgenealogy.org/id.php?id=128359",
    "https://scholar.google.com/citations?user=L-H2D9AAAAAJ"
  ],
  "description": "Mathematical logician and computer scientist"
}

## References

1. [Source](https://awards.acm.org/award_winners/paulin-mohring_4099933)
2. Mathematics Genealogy Project
3. Virtual International Authority File
4. CiNii Research
5. [Source](https://www.ae-info.org/ae/User/Paulin-Mohring_Christine)
6. IdRef