Harley Eades
Associate Professor
Academic Appointment(s)
Administration
Department of Computer Science
School of Computer and Cyber Sciences
Department of Computer Science
The Graduate School
Administration
Department of 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
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
