# Eric Hehner

> Canadian computer scientist

**Wikidata**: [Q5386705](https://www.wikidata.org/wiki/Q5386705)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Eric_Hehner)  
**Source**: https://4ort.xyz/entity/eric-hehner

## Summary
Eric Hehner is a Canadian computer scientist and engineer known for his work in formal methods. He is a professor at the University of Toronto and has made significant contributions to the field of computer science through his research and teaching.

## Biography
- Born: September 16, 1947, in Ottawa, Canada
- Nationality: Canadian
- Education: Ph.D. in Computer Science from the University of Toronto (1974), B.Sc. from Carleton University
- Known for: Formal methods in computer science
- Employer(s): University of Toronto
- Field(s): Computer science, engineering

## Contributions
Eric Hehner has made substantial contributions to the field of computer science, particularly in formal methods. He has supervised numerous doctoral students who have gone on to become prominent computer scientists themselves, including Christian Lengauer, Alan Wagner, Eugene Fiume, D. Hugh Redelmeier, Theodore Norvell, Anya Tafliovich, and others. His work at the University of Toronto has influenced the development of formal methods in software engineering and computer science education. He has published extensively in his field and maintains an active research profile through his university website.

## FAQs
### Q: What is Eric Hehner known for?
A: Eric Hehner is known for his work in formal methods in computer science and his role as a professor at the University of Toronto.

### Q: Where did Eric Hehner receive his education?
A: Eric Hehner received his Ph.D. from the University of Toronto in 1974 and his B.Sc. from Carleton University.

### Q: Who were Eric Hehner's doctoral advisors?
A: Eric Hehner's doctoral advisors were David Barkley Wortman and William Marshall McKeeman.

## Why They Matter
Eric Hehner matters because of his significant contributions to formal methods in computer science and his role in educating the next generation of computer scientists. Through his teaching and supervision of doctoral students at the University of Toronto, he has influenced numerous researchers who have gone on to make their own contributions to the field. His work in formal methods has helped advance the rigor and reliability of software development practices, which is crucial in an increasingly digital world.

## Notable For
- Professor at the University of Toronto
- Pioneer in formal methods for computer science
- Supervised over 10 doctoral students who became prominent computer scientists
- Published extensively in computer science
- Maintains active research presence through university website

## Body
### Academic Career
Eric Hehner has spent his entire academic career at the University of Toronto, where he has been a professor in the Department of Computer Science. His long-standing position at the university has allowed him to build a substantial research group and influence the direction of computer science education in Canada.

### Doctoral Supervision
He has supervised numerous doctoral students who have become influential in their own right. His students include Christian Lengauer (completed 1982), Alan Wagner (1987), Eugene Fiume (1986), D. Hugh Redelmeier (1984), Andrew Malton (1990), Theodore Norvell (1993), Richard F. Paige (1997), Mark Pichora (2003), Ioannis Kassios (2006), and Anya Tafliovich (2010).

### Research Focus
Hehner's primary research area is formal methods, which involves the use of mathematical techniques to specify, develop, and verify software and hardware systems. This work is crucial for ensuring the reliability and correctness of critical systems in various applications.

### Publications and Academic Output
Throughout his career, Hehner has maintained an active publication record in computer science. His work is accessible through his university website, where he shares his research and writings with the academic community.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Eric Hehner",
  "jobTitle": "Professor of Computer Science",
  "worksFor": {
    "@type": "Organization",
    "name": "University of Toronto"
  },
  "nationality": {
    "@type": "Country",
    "name": "Canada"
  },
  "birthDate": "1947-09-16",
  "birthPlace": "Ottawa, Canada",
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "University of Toronto"
    },
    {
      "@type": "EducationalOrganization",
      "name": "Carleton University"
    }
  ],
  "knowsAbout": [
    "Computer Science",
    "Formal Methods",
    "Engineering"
  ],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q116781035",
    "https://en.wikipedia.org/wiki/Eric_Hehner"
  ],
  "description": "Canadian computer scientist known for his work in formal methods and as a professor at the University of Toronto"
}

## References

1. Mathematics Genealogy Project
2. [Source](https://viaf.org/viaf/data/viaf-20230206-links.txt.gz)
3. CiNii Research