Photo of John Hannan

John Hannan

Associate Department Head
Associate Professor

Affiliation(s):

  • School of Electrical Engineering and Computer Science
  • Computer Science and Engineering

W331 Westgate Building

jjh9@psu.edu

814-863-0702

Personal or Departmental Website

Research Areas:

Interest Areas:

App Development, Programming language semantics and implementation, Program analysis and verification, Logic and computation, Functional programming.

 
 

 

Education

  • Ph D, Computer Science, University of Pennsylvania, 1990

Publications

Journal Articles

  • A. Fischbach and John J Hannan, 2003, "Specification and Correctness of Lambda Lifting", Journal of Functional Programming, 13, (3), pp. 509-543

Conference Proceedings

  • B. Sun, A. R. Hurson and John J Hannan, 2004, "Energy-Efficient Scheduling Algorithms of Object Retrieval on Indexed Parallel Broadcast Channels", Proceedings of the International Conference on Parallel Processing (ICPP 2004), pp. 440-447
  • John J Hannan, 2001, "On Extracting Static Semantics", Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics (MFPS 2001), 45, (2001)
  • A. Fischbach and John J Hannan, 2001, "Type Systems for Useless-Variable Elimination", Proceedings of the Symposium on Programs as Data Objects (PADO II), 2053, pp. 25-38
  • John J Hannan and P. Hicks, 2000, "Higher-Order UnCurrying", Journal of Higher-Order and Symbolic Computation, 13, (3), pp. 179-216
  • A. Fischbach and John J Hannan, 2000, "Higher-Order Lambda Lifting", Workshop on Semantics, Applications and Implementation of Program Generation (SAIG 2000), 1924, pp. 108-128
  • A. R. Hurson, Y. C. Chehadeh and John J Hannan, 2000, "Object Organization on Parallel Broadcast Channels in a Global Information Sharing Environment", Proceedings of the Nineteenth IEEE International Performance, Computing, and Communications Conference (IPCCC 2000), pp. 347-353

Research Projects

Honors and Awards

  • 2016 Joel and Ruth Spira Excellence in Teaching Award, Lutron, June 2016

Service

Service to Penn State:

  • Vice ChairpersonAcademic Integrity Committee, 2015 - 2015
  • Committee Member, Academic Integrity Committee, 2014 - 2015
  • Member, Curriculum/ABET Committee, August 2013 - July 2015
  • Member, Distance Learning Committee, August 2013 - July 2014
  • Member, University Strategic Committee for IT, 2012 - 2014
  • Member, Senate Committee on Curricular Affairs (Chair, 2007-09), 2004 - 2009
  • Member, Search Committee for Director of Assessment and Instructional Support, 2006 - 2007
  • Member, Ad Hoc Committee on Post-Baccalaureate Certificate Programs, 2001 - 2002
  • Coordinator, ABET, 2013
  • Advisor, Computer Science/Engineering Undergraduate Honors Advising, August 1994
  • Chairperson, Curriculum/ABET Committee, August 2015

Service to External Organizations:

 


 

About

The School of Electrical Engineering and Computer Science was created in the spring of 2015 to allow greater access to courses offered by both departments for undergraduate and graduate students in exciting collaborative research in fields.

We offer B.S. degrees in electrical engineering, computer science and computer engineering and graduate degrees (master's degrees and Ph.D.'s) in electrical engineering and computer science and engineering. EECS focuses on the convergence of technologies and disciplines to meet today’s industrial demands.

School of Electrical Engineering and Computer Science

The Pennsylvania State University

209 Electrical Engineering West

University Park, PA 16802

814-863-6740

Department of Computer Science and Engineering

814-865-9505

Department of Electrical Engineering

814-865-7667