Harley Eades

Associate Professor

Harley Eades

Associate Professor

Academic Appointment(s)

School of Computer and Cyber Sciences
Department of Computer Science

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 3500

    Theory of Computation
  • CSCI 8510

    Independent Study: Adv Programming Lang Concepts
  • CSCI 3300

    Programming Languages Concepts
  • CSCI 4950

    Selected Topics: Contextual Design

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