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 8510
Independent Study: Adv Programming Lang Concepts
-
CSCI 3300
Programming Languages Concepts
-
CSCI 4950
Selected Topics: Contextual Design
-
CSCI 3500
Theory of Computation
-
CSCI 8720
Problems in Computer & Cyber
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
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
