Designs, specs, and builds the array of sensors and controllers that are used to operate the boat and sense its surroundings.

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.