Education

University of Geneva Switzerland

MScs - Master of Computer Science University of Geneva, Switzerland Passing Year 2009

Grade: 6 / 6

Specialization: Model-based system Engineering [Model-checking, Metamodeling and Model Driven Development]

Master’s thesis: « A Domain specific language for the model-checking of public transport by rail system »

BScs - Bachelor of Computer Science University of Geneva, Switzerland Passing Year 2007

Please watch the video of my master thesis, in 2009 at the University of Geneva

Please download my Master thesis final report here >>>

Please download my Bachelor thesis report here >>>

Please download presentation slides of my Master thesis >>>