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.
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.
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.