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

  • CSCI 3030

    Mathematical Structures for CS
  • CSCI 3500

    Theory of Computation
  • CURS 4990

    Undergrad Research III
  • CSCI 3300

    Programming Languages Concepts

Teaching Interests

discrete mathematics, theory of computation, concepts of programming languages


Selected Recent Publications

  • Dialectica categories for the Lambek calculus, 2017
  • On Linear Modalities for Exchange, Weakening, and Contraction, 2016
  • Dualized Simple Type Theory, 2016
    Journal Article, Academic Journal
  • Full Intuitionistic Linear Logic (FILL), 2015
  • Multiple Conclusion Linear Logic: Cut-elimination and more, 2015
    Conference Proceeding

Research Interests

Theoretical computer science, foundations of programming languages, categorical logic

College Service

  • Faculty Affairs Committee 2016 - 2018

    Role: Committee Member

University Service

  • Curriculum and Academic Policies 2016 - Present

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

    Role: Committee Member