معرفی
Harley Eades is an Associate Professor in the Department of Computer Science at Augusta University's School of Computer and Cyber Sciences. His research focuses on theoretical computer science, logic in computer science, foundations of programming languages, categorical logic, and human-computer interaction (HCI), with a specific emphasis on sports+HCI applications.
- Ph.D. in Computer Science (2014), University of Iowa
- MS in Computer Science (2012), University of Iowa
- BS in Applied Mathematics (2009) and Computer Science (2009), Millikin University
His scholarly work bridges substructural logics with type theory, including graded logics, linear logic, and categorical models. Recent projects include tools for developers with vision impairments, remote athletic coaching systems, and the Granule Project exploring graded logics and type theories.
As a co-founder of the ForML Lab, he collaborates on formal methods and programming language research. He has served on university committees such as the Faculty Affairs Committee and Curriculum and Academic Policies group. His teaching interests include discrete mathematics, programming language concepts, and theory of computation, with courses ranging from graduate-level dissertation research (CSCI 8940) to undergraduate research (CSCI 4990) and programming languages (CSCI 3300).
