My name is Mathias Fleury

I am a State Scholarship of Merit Student at ENS Rennes (École Normale Supérieure, formerly ÉNS Cachan, Brittany Branch) located in Rennes (Brittany, France) since September, 2012. I am currently studying for a Master's degree in Research in Computer Science in Rennes.

My interests are formal proofs and formalization of properties.

To contact me : (λ surname. (λ firstName. (firstname.surname@ens-rennes.fr))) Fleury Mathias signature : I often sign my message, here is my public key