# Sophie Pinchinat

> Ph.D. Institut National Polytechnique de Grenoble 1993

**Wikidata**: [Q102350781](https://www.wikidata.org/wiki/Q102350781)  
**Source**: https://4ort.xyz/entity/sophie-pinchinat

## Summary
Sophie Pinchinat is a French computer scientist specializing in formal methods and artificial intelligence. She earned her doctorate from the Institut National Polytechnique de Grenoble in 1993 and currently works at the University of Rennes. Her research focuses on the intersection of formal verification techniques and AI systems.

## Biography
- Born: February 4, 1964
- Nationality: French
- Education: Doctorate from Grenoble Institute of Technology (Institut National Polytechnique de Grenoble), 1993
- Known for: Research in formal methods and artificial intelligence
- Employer(s): University of Rennes (since September 2010)
- Field(s): Formal methods, artificial intelligence

## Contributions
Sophie Pinchinat has made significant contributions to the fields of formal methods and artificial intelligence through her research and academic work. Her doctoral studies at the Institut National Polytechnique de Grenoble focused on computer science under the guidance of advisors Philippe Jorrand and Philippe Schnoebelen. Since joining the University of Rennes in 2010, she has continued advancing research at the intersection of formal verification and AI systems. Her work bridges theoretical foundations with practical applications in intelligent systems. As a supervisor, she has mentored doctoral students including Bastien Maubert, contributing to the next generation of researchers in computer science. Her research publications span topics in formal methods, which provide mathematical approaches to specifying, developing, and verifying software and hardware systems, particularly as they apply to artificial intelligence applications.

## FAQs
### Q: Where did Sophie Pinchinat earn her Ph.D.?
A: Sophie Pinchinat earned her Ph.D. from the Institut National Polytechnique de Grenoble in 1993.

### Q: What is Sophie Pinchinat's current position?
A: She is employed at the University of Rennes, where she has been since September 2010.

### Q: Who were Sophie Pinchinat's doctoral advisors?
A: Her doctoral advisors were Philippe Jorrand and Philippe Schnoebelen.

## Why They Matter
Sophie Pinchinat represents an important figure in the advancement of formal methods applied to artificial intelligence systems. Her work contributes to ensuring the reliability and correctness of AI systems through rigorous mathematical approaches. By bridging formal verification techniques with AI research, she addresses critical challenges in developing trustworthy intelligent systems. Her academic career has influenced both theoretical understanding and practical applications in computer science. Through her mentorship of students like Bastien Maubert, she has helped shape the trajectory of future researchers in the field. The integration of formal methods with AI research is increasingly vital as these systems become more prevalent in safety-critical applications, making her contributions particularly significant for the long-term development of reliable AI technologies.

## Notable For
• Doctoral degree from Institut National Polytechnique de Grenoble in 1993
• Research specialization in formal methods and artificial intelligence
• Employment at University of Rennes since 2010
• Supervision of doctoral student Bastien Maubert
• Academic work bridging formal verification and AI systems

## Body
### Early Life and Education
Sophie Pinchinat was born on February 4, 1964. She pursued her higher education at the Grenoble Institute of Technology (Institut National Polytechnique de Grenoble), where she completed her doctorate in 1993. Her doctoral studies were supervised by two prominent computer scientists: Philippe Jorrand and Philippe Schnoebelen.

### Academic Career
Pinchinat joined the University of Rennes in September 2010, where she continues her research in formal methods and artificial intelligence. Her work focuses on applying formal verification techniques to ensure the correctness and reliability of computational systems, particularly those involving artificial intelligence components.

### Research Focus
Her primary research areas include formal methods, which involve mathematical approaches to system specification, development, and verification. She applies these techniques to artificial intelligence systems, addressing challenges in ensuring their correctness and reliability. Her research sits at the intersection of theoretical computer science and practical AI applications.

### Academic Relationships
As a doctoral student, Pinchinat worked under the supervision of Philippe Jorrand, a computer scientist and artificial intelligence researcher born in 1941, and Philippe Schnoebelen, a computer scientist who earned his Ph.D. from the same institution in 1990. Later in her career, she became a doctoral advisor herself, supervising Bastien Maubert, who completed his Ph.D. at Université Rennes I in 2014.

### Professional Recognition
Pinchinat maintains an active research profile with various identifiers across academic databases, including ORCID (0000-0002-0901-8480), DBLP (84/4091), and Google Scholar (XQZzbyoAAAAJ). Her professional website is hosted by IRISA at the University of Rennes.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Sophie Pinchinat",
  "jobTitle": "Computer Scientist",
  "worksFor": {"@type": "Organization", "name": "University of Rennes"},
  "nationality": {"@type": "Country", "name": "France"},
  "birthDate": "1964-02-04",
  "alumniOf": [{"@type": "EducationalOrganization", "name": "Grenoble Institute of Technology"}],
  "knowsAbout": ["Formal Methods", "Artificial Intelligence", "Computer Science"],
  "sameAs": ["https://people.irisa.fr/Sophie.Pinchinat/", "https://orcid.org/0000-0002-0901-8480"],
  "description": "French computer scientist specializing in formal methods and artificial intelligence"
}

## References

1. IdRef
2. Mathematics Genealogy Project
3. [Source](https://people.irisa.fr/Sophie.Pinchinat/cvshort_sophie_pinchinat.pdf)