Gabriel Kerneis

I am a Research Assistant working with Peter Sewell at the Computer Laboratory (University of Cambridge, UK) since September 2012.

I was formerly a PhD student at Laboratoire PPS (Université Paris Diderot, France), under the direction of Juliusz Chroboczek. Until I move everything here, you can find more information about my work on my previous page.