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: Mondays & Wednesdays, 3:00-4:00

Teaching (Spring 2012)

CMPSC 111S: Logic for Computer Science
CMPSC 461: Programming Language Concepts
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.