I am a graduate student at Cornell in the Computer Science Department; my advisor is Robert Constable. My research focuses on programming environments that use semantic knowledge for program transformation, verification, and synthesis. My thesis is about the design and implementation of the MetaPRL logical framework/programming environment. In the Nuprl group, we are applying the programming environment to the optimization and verification of protocols in the Ensemble group communication system.

The index at the left shows a closeup of an icicle in Upper Treman state park, near where I live. The publications page provides a directory of the papers I've published at Cornell and at Bellcore. You can get to two of my projects from here: the MetaPRL system, and the Ensemble Juke Box. I also do sculpture (when I'm not writing my thesis); you can see a little more about me on the art page. A little more can be found in the personal page.

Boynton middle school College for a Day.

jyh@cs.cornell.edu,

Department of Computer Science

Upson Hall, Cornell University

Ithaca, NY 14853