Garrett Morris
Assistant Professor
garrettm@ku.edu
Primary office:
(785) 864-8825
2028 Eaton Hall
Primary Research Interests
- Functional Programming
- Type Systems
- Logic and Proof Theory
Primary Research Interests