H. James Hoover, University of Alberta
Computing Science
Professor
Edmonton, Alberta
jhoover@ualberta.ca
Office:
(780) 492-5290
Expert In
Bio/Research
My work is centered around the core activity of computing science: the specification and implementation of solutions to computational problems. I am interested in constructing practical programming environments which support this end. Presently this is reflected in our tools for reasoning about t...
Click to Expand >>
Click to Expand >>
Bio/Research
My work is centered around the core activity of computing science: the specification and implementation of solutions to computational problems. I am interested in constructing practical programming environments which support this end. Presently this is reflected in our tools for reasoning about the structure and behaviour of applications constructed using application frameworks.
Click to Shrink <<
Click to Shrink <<