Isaac Sheff

Cornell University

Ph.D. Researcher, Computer Science

440 Gates

I am a Computer Science Ph.D. candidate at Cornell working with Andrew Myers and Robbert van Renesse. I hold a B.S. in Computer Science from Caltech, from whence I graduated in 2012. My research, at present, is at the intersection of distributed systems and programming languages. I'm working on generalizations of Distributed Consensus and Blockchains, as well as languages in which to express their proofs and policies. I also work on adapting classic and / or interesting distributed algorithms to an Information Flow setting, and creating languages in which to express them.

Recent Projects