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 2008)

CMPSC 097S Logic of Computer Science
CSE 520: Foundations of Programming Languages
Teaching (Spring 2008)
CMPSC 097S Logic of 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.