Harley Eades

Associate Professor

Harley Eades

Associate Professor

Academic Appointment(s)

Department of Computer Science

School of Computer and Cyber Sciences
Department of Computer Science

The Graduate School

Department of The Graduate School


  • Ph.D., Computer Science University of Iowa, 2014

  • MS, Computer Science University of Iowa, 2012

  • BS, Applied Mathematics, General. Millikin University, 2009

  • BS, Computer Science Millikin University, 2009

Courses Taught Most Recent Academic Year

  • CSCI 8940

    Dissertation Research
  • CSCI 7300

    Programming Languages
  • CSCI 3300

    Programming Languages Concepts
  • CSCI 3500

    Theory of Computation

Teaching Interests

discrete mathematics, theory of computation, concepts of programming languages


Selected Recent Publications

  • Explaining Type Errors, 2018
  • Introducing a New Project on The Combination of Substructural Logics and Dependent Type Theory, 2017
  • Dialectica categories for the Lambek calculus, 2017
  • Constructive Temporal Logic, Categorically, 2017
    Journal Article, Academic Journal
  • On Linear Modalities for Exchange, Weakening, and Contraction, 2016

Research Interests

Theoretical computer science, logic in computer science, foundations of programming languages, categorical logic

College Service

  • Faculty Affairs Committee 2016 - 2018

    Role: Committee Member

University Service

  • S-Stem Workgroup 2017 - Present

    Role: Committee Member
  • Curriculum and Academic Policies 2016 - Present

    Role: Committee Member
  • IT Advisory Committee: Research Advisory Subcommittee, 2016 - Present

    Role: Committee Member

Public Service

  • Augusta Canal National Heritage Area-Shift # 2 2018