I'm a Computer Science PhD student working in the Computational Logic Center. My advisor is Dr. Aaron Stump. I work with Aaron and others on Cedille. My current research revolves around how Cedille's unique feature set (dependent intersections, equality, erased function spaces) can be used to capture and construct many of the ideas in other languages.