I’m Dietrich Geisler, a 3rd year PhD student in Computer Science at Cornell University. I work with the Capra research group led by Adrian Sampson. My research goals are focused on the development of Domain Specific Languages, with an emphasis on helping the programmer more easily write readable and correct programs.
My current research is on developing the Gator language for geometric programming. Gator is designed to help Graphics programmers reason about the geometry of the program through annotations and compiler typechecking. The primary contribution of Gator is the introduction of a type structure around Reference Frames, an idea rooted in geometry.