Secondary Navigation

Department Welcomes Garrett Morris to its Faculty

J. Garrett Morris portrait shot in from University of Iowa's Old Capitol building

J. Garrett Morris is an Assistant Professor in Computer Science at the University of Iowa. Prior, he was an assistant professor in the department of Electrical Engineering and Computer Science at the University of Kansas. He received his Ph.D. from Portland State University in Oregon, and post-doctoral training at the University of Edinburgh, Scotland. His research focuses on the development of type systems for higher-order functional programming languages, with the twin aims of improving expressiveness and modularity in high-level programming and supporting safe concurrent, low-level, and effectful programming. His work has regularly appeared in the top venues for programming languages research, including POPL and ICFP, and he has served on the program committees of top programming language conferences including ICFP and ESOP.

Morris studies the foundations of programming: how we construct programs and how we reason about them. His thesis is that advances in type systems empower programmers to create better-written, better-understood programs.

He is a co-director of the Computational Logic Center with Professors Aaron StumpCesare Tinelli, and Omar Chowdhury.


Department also welcomes Bijaya AdhikariGuanpeng Li, and Supreeth Shastri.