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

Office Hours: Tuesdays & Thursdays, 2:30-3:30

Teaching (Fall 2009)

CMPSC 360: Discrete Math for Computer Science
CMPSC 111S: Logic for Computer Science
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.