Harley Eades

Associate Professor

Harley Eades

Associate Professor

Academic Appointment(s)

School of Computer and Cyber Sciences
Department of Computer Science

The Graduate School

Education

  • 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

Scholarship

Selected Recent Publications

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

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