Photo of John Hannan

John Hannan

Associate Department Head
Associate Professor


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

W209E Westgate Building


Personal or Departmental Website

Research Areas:

Programming Languages and Compilers

Interest Areas:

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




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


Journal Articles

  • Ashley Kuzmik, John J Hannan, Marie Boltz, Priyanka Shrestha, Erica Husser, Donna M Fick and Edward R Marcantonio, 2023, "A pilot study testing the iOS UB-CAM delirium app", Journal of the American Geriatrics Society, 71, (6), pp. 4
  • A. Fischbach and John J Hannan, 2003, "Specification and Correctness of Lambda Lifting", Journal of Functional Programming, 13, (3), pp. 509-543
  • A. Fischbach and John J Hannan, 2001, "Type Systems and Algorithms for Useless-Variable Elimination"

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


Service to Penn State:

Service to External Organizations:




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 fields.

We offer B.S. degrees in electrical engineering, computer science, computer engineering and data science 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

207 Electrical Engineering West

University Park, PA 16802


Department of Computer Science and Engineering


Department of Electrical Engineering