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

  • January 2014 - January 2015, "Feasibility Study of an Attention Training Application for Older Adults using Mobile Technology in Community Settings," (Sponsor: Social Science Research Institute).

Honors and Awards

Service

Service to Penn State:

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

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, 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

814-863-6740

Department of Computer Science and Engineering

814-865-9505

Department of Electrical Engineering

814-865-7667