# Don Sannella

> British computer scientist

**Wikidata**: [Q5293472](https://www.wikidata.org/wiki/Q5293472)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Don_Sannella)  
**Source**: https://4ort.xyz/entity/don-sannella

## Summary
Don Sannella is a British computer scientist known for his contributions to formal methods and programming language theory. He is a professor at the University of Edinburgh and has mentored numerous influential researchers in the field.

## Biography
- Born: 1956
- Nationality: United Kingdom
- Education: University of Edinburgh, Yale University, University of California
- Known for: Advancing formal methods and programming language theory
- Employer(s): University of Edinburgh
- Field(s): Computer science, formal methods, programming languages

## Contributions
Don Sannella has made significant contributions to computer science, particularly in formal methods and programming language theory. He has supervised a number of notable doctoral students, including Martin Hofmann, David Aspinall, and Brian Campbell. His work has influenced the development of rigorous approaches to software verification and the design of programming languages. Sannella has also been involved in academic leadership roles, including serving as a professor at the University of Edinburgh.

## FAQs
### Q: What is Don Sannella known for?
A: Don Sannella is known for his work in formal methods and programming language theory, as well as his mentorship of influential researchers in computer science.

### Q: Where did Don Sannella study?
A: Don Sannella studied at the University of Edinburgh, Yale University, and the University of California.

### Q: Who are some of Don Sannella's doctoral students?
A: Some of Don Sannella's doctoral students include Martin Hofmann, David Aspinall, and Brian Campbell.

### Q: What is Don Sannella's current employer?
A: Don Sannella is currently a professor at the University of Edinburgh.

### Q: What awards has Don Sannella received?
A: Don Sannella is a Fellow of the Royal Society of Edinburgh.

## Why They Matter
Don Sannella's work has had a lasting impact on the field of computer science, particularly in the areas of formal methods and programming language theory. His mentorship of numerous influential researchers has shaped the trajectory of many academic careers. His contributions have advanced the rigor and reliability of software development, making him a key figure in the evolution of computer science.

## Notable For
- Fellow of the Royal Society of Edinburgh
- Professor at the University of Edinburgh
- Mentor to influential researchers in computer science
- Contributions to formal methods and programming language theory

## Body
### Early Life and Education
Don Sannella was born in 1956. He earned his education at the University of Edinburgh, Yale University, and the University of California.

### Academic Career
Sannella has held the position of professor at the University of Edinburgh. He has been involved in academic leadership and has supervised numerous doctoral students, including Martin Hofmann, David Aspinall, and Brian Campbell.

### Research Contributions
Sannella's research focuses on formal methods and programming language theory. His work has influenced the development of rigorous approaches to software verification and the design of programming languages.

### Awards and Recognition
Sannella is a Fellow of the Royal Society of Edinburgh, recognizing his significant contributions to the field of computer science.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Don Sannella",
  "jobTitle": "Professor",
  "worksFor": {"@type": "Organization", "name": "University of Edinburgh"},
  "nationality": {"@type": "Country", "name": "United Kingdom"},
  "birthDate": "1956",
  "alumniOf": [
    {"@type": "EducationalOrganization", "name": "University of Edinburgh"},
    {"@type": "EducationalOrganization", "name": "Yale University"},
    {"@type": "EducationalOrganization", "name": "University of California"}
  ],
  "knowsAbout": ["Computer Science", "Formal Methods", "Programming Languages"],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q116781035",
    "https://en.wikipedia.org/wiki/Don_Sannella"
  ],
  "description": "British computer scientist known for contributions to formal methods and programming language theory."
}

## References

1. Czech National Authority Database
2. Mathematics Genealogy Project
3. [Source](https://viaf.org/viaf/data/viaf-20230206-links.txt.gz)
4. CiNii Research
5. National Library of Israel Names and Subjects Authority File