# Guy Boulaye

> French computer scientist and university professor

**Wikidata**: [Q102555586](https://www.wikidata.org/wiki/Q102555586)  
**Source**: https://4ort.xyz/entity/guy-boulaye

## Summary  
Guy Boulaye is a French computer scientist and university professor known for his contributions to theoretical computer science and formal methods. He has held a prominent academic career, notably serving as a full professor at the Institut National des Sciences Appliquées de Lyon and mentoring influential researchers in the field.

## Biography  
- **Born**: Unknown date and place  
- **Nationality**: France  
- **Education**: University of Grenoble  
- **Known for**: Advancing research in formal methods and theoretical computer science  
- **Employer(s)**: Institut National des Sciences Appliquées de Lyon  
- **Field(s)**: Computer Science, Formal Methods  

## Contributions  
Guy Boulaye has made significant contributions to the domain of theoretical computer science, particularly through his work on formal methods and software verification. His research has been foundational in shaping methodologies used in system modeling and validation. As an educator, he supervised several doctoral students who went on to become leading figures in academia and industry, including Bruno Legeard and Sylvie Calabretto. His scholarly output includes numerous peer-reviewed articles and collaborations that have advanced understanding in logic-based approaches to computing systems. While specific publications are not listed here, his influence is evident through citation networks and academic lineage documented in databases such as zbMATH and the Mathematics Genealogy Project.

## FAQs  
### Q: Who were Guy Boulaye's doctoral advisors?  
A: Guy Boulaye was advised by Jean Kuntzmann during his doctoral studies.  

### Q: Which university did Guy Boulaye teach at?  
A: Guy Boulaye served as a full professor at the Institut National des Sciences Appliquées de Lyon.  

### Q: What fields did Guy Boulaye contribute to?  
A: Guy Boulaye contributed primarily to computer science with a focus on formal methods and theoretical foundations.  

## Why They Matter  
Guy Boulaye’s impact lies in his role as both a researcher and mentor within French computer science academia. Through rigorous scholarship and pedagogy, he helped shape modern approaches to formal method application in software development. His students have carried forward these principles into various sectors, amplifying his indirect influence beyond direct publication metrics. By fostering intellectual rigor and innovation, Boulaye played a part in positioning France prominently in global computational theory discourse.

## Notable For  
- Serving as a full professor at INSA Lyon  
- Being advised by renowned mathematician and early computer scientist Jean Kuntzmann  
- Mentoring future leaders in computer science like Bruno Legeard and Sylvie Calabretto  
- Contributing to formal methods and theoretical computer science research  
- Recognition in major academic databases including MR Author ID and zbMATH  

## Body  
### Academic Career  
Guy Boulaye pursued higher education at the University of Grenoble before embarking on an academic path focused on computer science. He eventually became a full professor at the Institut National des Sciences Appliquées de Lyon, where he conducted much of his professional work.

### Research Focus  
Boulaye specialized in theoretical aspects of computer science, especially those involving mathematical logic applied to computation models. His approach emphasized precision and reliability—hallmarks of formal methods—which remain critical in high-assurance software engineering domains.

### Doctoral Supervision  
Under his guidance, multiple individuals earned doctorates and later assumed influential positions themselves:
- Sylvie Calabretto
- Bruno Legeard (completed PhD in 1987)
- Serge Montero (completed PhD in 1991)

These scholars continued advancing topics initiated under Boulaye’s supervision, extending his legacy across generations.

### International Presence  
His presence extends internationally via identifiers assigned by authoritative bodies:
- VIAF ID: 91267820
- IDRef ID: 026743868
- NUKAT ID: n01043125
- Yale Lux ID: person/214b6498-d138-40d3-b99e-3421951a85b7
- MathSciNet MR Author ID: 416703
- zbMATH Author ID: boulaye.guy-g
- Mathematics Genealogy Project ID: 210008

Such recognition underscores his integration into global scientific networks.

```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Guy Boulaye",
  "jobTitle": "Computer Scientist and University Professor",
  "worksFor": {
    "@type": "Organization",
    "name": "Institut National des Sciences Appliquées de Lyon"
  },
  "nationality": {
    "@type": "Country",
    "name": "France"
  },
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "University of Grenoble"
    }
  ],
  "knowsAbout": ["Computer Science", "Formal Methods"],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q3111845"
  ],
  "description": "French computer scientist and university professor"
}

## References

1. IdRef
2. Mathematics Genealogy Project
3. Virtual International Authority File
4. National Library of Israel Names and Subjects Authority File