Eric Hehner

Eric Hehner

Eric C. R. Hehner is a Canadian computer scientist.

Eric Hehner was born on 16 September 1947 in Ottawa. He studied mathematics and physics at Carleton University, obtaining his first degree in 1969. He gained a PhD in computer science from the University of Toronto in 1974. He then joined the faculty there, becoming a full professor in 1983. He became the Bell University Chair in Software Engineering in 2001.

Hehner's main research area is formal methods, particularly for programming. He has been influential to many other computer science researchers with his ideas, including Tony Hoare, especially with his concept of predicative programming.

References

* E. C. R. Hehner, 1984. Predicative Programming. "CACM", 27(2):134–151.
* E. C. R. Hehner, 1990. A Practical Theory of Programming. "Science of Computer Programming", 14(2–3):133–158.
* E. C. R. Hehner, 2004. From Boolean Algebra to Unified Algebra. "Mathematical Intelligencer", 26(2):3–19.

External links

* [http://www.cs.toronto.edu/~hehner/ Home page]
* [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hehner:Eric_C=_R=.html DBLP publications]
* [http://www.cs.toronto.edu/~hehner/aPToP/ A Practical Theory of Programming] , Professor Hehner's book, freely available in PDF


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Quote notation — is a representation of rational numbers for which the addition, subtraction, and multiplication algorithms are the same as for natural numbers, and division is easier than the usual division algorithm, and works in the same right to left… …   Wikipedia

  • Liste der Biografien/Hea–Heh — Biografien: A B C D E F G H I J K L M N O P Q …   Deutsch Wikipedia

  • p-adic number — In mathematics, and chiefly number theory, the p adic number system for any prime number p extends the ordinary arithmetic of the rational numbers in a way different from the extension of the rational number system to the real and complex number… …   Wikipedia

  • P-adic number — In mathematics, the p adic number systems were first described by Kurt Hensel in 1897 [cite journal | last = Hensel | first = Kurt | title = Über eine neue Begründung der Theorie der algebraischen Zahlen | journal =… …   Wikipedia

  • Quantification — has two distinct meanings.In mathematics and empirical science, it refers to human acts, known as counting and measuring that map human sense observations and experiences into members of some set of numbers. Quantification in this sense is… …   Wikipedia

  • The Great Escape (film) — Infobox Film name = The Great Escape image size = 225px caption = original movie poster by Frank McCarthy director = John Sturges writer = Book: Paul Brickhill Screenplay: James Clavell W.R. Burnett Walter Newman (uncredited) starring = Steve… …   Wikipedia

  • Transat anglaise 1968 — L édition 1968 voit l apparition de l assistance météo dont bénéficia le britannique Geoffrey Williams. Cette assistance fut décisive dans son succès en lui permettant de contourner par le Nord une grosse dépression avec des vents de… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”