Joshua Gancher

I am a PhD candidate in Computer Science at Cornell University, co-advised by Elaine Shi and Greg Morrisett.

My research is about using techniques from formal methods and program verification to certify proofs in cryptography.

Publications:

Email: jrg358@cornell.edu