John Hannan

Associate Professor
Department of Computer Science and Engineering
The Pennsylvania State University
360C IST Building
University Park, PA 16802
(814) 863-0702 (Office)
(814) 865-9505 (Department)
(814) 865-3176 (FAX)
Research Interests: Rails to Trails / 1983 Suzuki GS1100E / Boston RedSox

Other Interests: Programming Language Design and Analysis / Operational Semantics and Type Theory / Program Verification / Mathematical Logic / Publications

Other Links
Schreyer's Honor College (I'm an adviser for the CSE Dept.)
What's happening in State College
Shaver's Creek is an environmental center operated by Penn State.