Picture of Harley Waldstein
Person Type: 
Résumé/Curriculum Vitae: 

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 also a software developer. My past software projects have included web application development in Java and C#, Twitter analytics, automated translation, implement of a SQL-like language for custom search, implementation of a transpiler between Cedille and Racket, and implementation of a suite of tools for automatically building four year course plans for university students.