Harley Waldstein

I'm an undergraduate student at the University of Iowa studying math and computer science, with special interest in logic programming, type theory, and programming language design. My current research involves Cedille, a research language designed to study the implementation of dependently typed programming with lambda encodings.

Aaron Klinker

I am the President and Captain of the Iowa Men's Water Polo Club, and a member of IMARC. I will graduate with a major in Mechanical Engineer and minor in Computer Science and Math. I plan on going into robotics/design once I graduate in May 2018.

Caleb Mann

My name is Caleb Mann, I plan to graduate from the university of Iowa in May 2020 with a degree in biomedical engineering. I'm interested in biology, chemistry, and programming.