that's me!
Home
I am currently PhD student of Jean-Christophe Filliâtre at the LRI, in Orsay (France). I am interested in proof of higher order imperative programs, using Why. In the past, I have worked on the ergo theorem prover.
I am currently PhD student of Jean-Christophe Filliâtre at the LRI, in Orsay (France). I am interested in proof of higher order imperative programs, using Why. In the past, I have worked on the ergo theorem prover.