Harley Eades

Assistant Professor

Harley Eades

Assistant Professor

Academic Appointment(s)

School of Computer and Cyber Sciences
Department of Computer Science


  • 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

  • CURS 4990

    Undergrad Research III
  • CSCI 3030

    Mathematical Structures for CS
  • CSCI 3500

    Theory of Computation
  • CSCI 3300

    Programming Languages Concepts

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