About me

Mugshot


I am currently a State Scolarship of Merit second year student in computer science at ENS Rennes (formerly ENS Cachan, Brittany Extension).

Contact

E-mail victor[dot]roussanaly[at]ens-rennes[dot]fr
Phone +33 6 69 62 67 06

Education

2013-Today Advanced degree (break between 2014-2016) major in Computer science, minor in mathematics. ENS Rennes, France
2012-2013 Bachelor Degree major in Computer Science, minor in mathematics. ENS Rennes, France
2010-2012 French "Classes Préparatoires" MPSI-MP: Two year undergraduate intensive courses, major in mathematics and physics. Lycée Henri Poincaré, Nancy, France
2010 French "Baccalauréat Scientifique". Lycée Loritz, Nancy, France

Experiences

February 2017-June 2017 Research Internship Abstraction refinement for weighted timed automata, supervised by Nicolas Markey and Ocan Sankur. IRISA, Rennes, France
December 2015-July 2016 Research Internship Model checking for Kahn Process networks using Channel Systems, supervised by Christel Baier. TU Dresden, Dresden, Germany
September 2014-April 2015 Year Off Traveling aroud the world with a backpack. Mongolia, China, India, Thailand, Singapore, Japan, USA, Canada
May-August 2014 Research Internship Decidabilty results on Iterative Arrays with restricted communications supervised by Andreas MALCHER. Institut für Informatik, Giessen, Germany
July-August 2013Research Internship Exploration of the Cosynchronysm in Elementary Cellular Automaton supervised by Nazim FATÈS. LORIA, Nancy, France

Technical skills

Programming OCaml, Java, C, C++, Ruby, Isabelle.
Misc. Linux, Latex, Git, GNUPlot.

Languages

French Mother tongue
English Fluent. TOEIC 2013: 945/990
German Conversational