Mahsa Shirmohammadi PhD Student Laboratoire Spécification et Vérification, Cachan, France Université Libre de Bruxelles, Brussels, Belgium mahsa.shirmohammadi@gmail.com
Mahsa Shirmohammadi's Photoghaph
Me and the dearest niece ever, "Amitis" :)

Recent and upcoming activities


Updated the 12/12/2014

I will start a post-doctorate position in Oxford University, in the team of Stefan Kiefer

I defended my PhD in Brusells at 16H00 the 10th of December 2014. More information about my defense can be found here. Slides and electronic versions are also available in the publications and presentations pages. Soon I will update some photos :)

I gave a talk in the Seminar for Computer Science Department, Univeristy of Oxford, on Robust Synchronization in Markov Decision Processes

I gave a talk in the Seminar 68NQRT, Rennes, on Limit Synchronization in Markov Decision Processes.

Major update of my personal webpage

I gave a talk in Grenoble at FOSSACS 2014 to present my paper on Limit Synchronization in Markov Decision Processes

.

I gave a talk in CFV Meeting (Brussels).