--------------------------------------------------------------------------------------------------

Léon Gondelman's Homepage.

--------------------------------------------------------------------------------------------------




Welcome to my home page!

I am a PhD student since october 2013 at LRI, Université Paris-Sud,
under supervision of Jean-Christophe Filliâtre and Andrei Paskevich.

Currently, I'm doing my research in the framework of deductive software
verification. Concretely, I am formalizing some aspects of verification tool
Why3, such as ghost code, type system with regions, and module system
that allows both encapsulation and refinement.

If you enjoy proving programs, you may visit online gallery of verified
programs
in Why3. Here are some examples that I had fun to prove myself.
You can also see my publications

To contact me, please write me at leon.gondelman[at]gmail.com