E.C.R. Hehner

From SE Wiki
Jump to: navigation, search

Interests

Formal methods, predicative programming

Contact

Ric is located in BA3250. Call 8-6026 to get in touch if the main entrance is closed.

Website

http://www.cs.toronto.edu/~hehner/

DBLP

http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hehner:Eric_C=_R=.html

Wikipedia

http://en.wikipedia.org/wiki/Eric_Hehner