Mahsa Shirmohammadi Curriculum Vitae 13bis Gustave Charpentier L Hay Les Roses 94240, France +33 (0)1456 05512 shirmohammadi@lsv.ens-cachan.fr www.ulb.ac.be/di/verif/mshirmoh/ Nationality : Iranian 2010 now EDUCATION PhD candidate in computer science, joint degree by Laboratoire Spécification et Vérification (LSV), École normale supérieure de Cachan, France and Computer Science Department, Université Libre de Bruxelles (ULB), Belgium, Supervisors: Dr. Laurent Doyen (LSV) and Prof. Thierry Massart (ULB), Thesis title: Synchronization in Quantitative Settings, Expected submission date: September 2014. 2009-2010 PhD preparation program, Computer Science Department, Université Libre de Bruxelles, Belgium. 2006-2009 MSc in computer networks engineering, a branch of information technology, Computer Engineering Department, University of Yazd, Iran, Supervisor: Prof. Mohammad Ghasemzade, Thesis title: Distributed and Decentralized failure diagnosis in Discrete Event Systems Grade point average (GPA): 18.90/20. 2001-2006 BSc Computer Software Engineering, Computer Engineering Department, Isfahan University of Technology, Iran, Project advisors: Mohammad Sharifi Nia and Prof. Ali Saraei, Grade point average (GPA): 16.06/20. 2000-2001 Farzanegan Pre-university School, National Organization for Development of Exceptional Talents (NODET), Khorramabad, Iran, Grade point average (GPA): 19.77/20. Topics Research Interests Formal methods and verification Game and Automata theory Probabilistic systems, in particular Markov Decision Processes Discrete event systems Supervisory control, diagnosability Group and algebraic graph theory 1/5
Professional Experiences Teaching assistant, Université libre de Bruxelles. 2012-2013 Course Formal Verification of Computer Systems (INFO-F-412). 2010-2012 Course Formal Verification of Computer Systems (INFO-F-412) in collaboration with Alexander Heussner. Teaching Instructor, Payame Noor University. 2007-2009 Courses Computer Networks, Computing Theory and Automata, Data Structures and Algorithms in C++ and JAVA (in Persian). Teaching assistant, Yazd University. 2008-2009 Course Compiler (in Persian). Teaching assistant, Isfahan University of Technology. 2003-2004 Course Introduction to C++ Programming (in Persian). Scholarships and grants 2012 2-year scholarship from International scholarship Programme 2012-2013 of ENS de Cachan, for two six-month stays in the academic years 2012-2013 and 2013-2014. 2011 4-years Ph.D. scholarship from Fonds de la Recherche Scientifique as Aspirant Program, Belgium. 2009 2-year scholarship for Ph.D. training from MoVES project (P6/39) which is part of the IAP-Phase VI Interuniversity Attraction Poles Programme funded by the Belgian State, Belgian Science Policy. Travel Grants 2013 A travel grant to participate in GAMES winter school 2013, Champéry, Switzerland. 2012 A tarvel grant to participate in Semigroups and Applications 2012, from Uppsala University, Uppsala, Sweden. 2012 A tarvel grant to participate in Games 2012 from ESF Networking Program, Napoli, Italy. 2008 A tarvel grant to participate to International School on Foundations of Security Analysis and Design 2008, Italy. 2008 A tarvel grant to participate to School on Algebraic Theory of Automata 2008, Lisbon, Portugal. Rankings and academic awards 2009 Acceptance, after strong entrance examination for PhD in Computer Science, Amirkabir University, 6 positions overall in Iran. 2006 Acceptance in computer networks engineering, a branch of information technology, national entrance exam, 26 positions overall in Iran. 2009 Yazd University, Master degree: ranked 1st with Grade Point Average 18.90/20. Only student with a score of 20/20 for the Master s thesis. 2/5
2001 Mathematics and physics (engineering) branch of national entrance exam of Iranian universities: Ranked 722th among almost 490,000 students. 2001 Farzanegan Pre-university School, NODET (National Organization for Development of Exceptional Talents), Khorramabad: ranked 1st with best honor and Grade Point Average 19.77 /20. International Schools 2013 GAMES 2013: 5-days winterschool, Champéry, Switzerland 2011 MOD2011: 12-days summerschool about Tools for Analysis and Verification of Software Safety and Security, Marktoberdorf, Germany 2010 MOVEP2010: 5-days summerschool about modeling and verifying parallel processes, Aachen, Germany 2010 QMC2010: 5-days school about Quantitative Model Checking, March 2010, Copenhagen, Denmark. Invited Research Visits 2014 3-days visit Dr. Stefan Kiefer in University of Oxford 2013 5-days visit Prof. Kim Larsen and Line Juhl in Aalborg University Professional Activities Article reviews Papers for the following conferences: FSTTCS 13, STACS 14, CSL-LICS 14 Papers for the following journals: Theory of Computing Systems (TOCS) Publications In international journals (peer-reviewed) [J1] M. H. Shahzamanian, Mahsa Shirmohammadi, and Bijan Davvaz. Roughness in Cayley graphs. In: Inf. Sci. 180.17 (2010), pages 3362 3372. In international conferences (peer-reviewed) [C1] [C2] [C3] Laurent Doyen, Thierry Massart, and Mahsa Shirmohammadi. Limit Synchronization in Markov Decision Processes. In: FoSSaCS. Edited by Anca Muscholl. Volume 8412. Lecture Notes in Computer Science. Springer, 2014, pages 58 72. URL: http://arxiv.org/abs/ 1310.2935. Laurent Doyen, Thierry Massart, and Mahsa Shirmohammadi. Robust Synchronization in Markov Decision Processes. In: To be apear in Concur. 2014. URL: http://arxiv.org/ abs/1402.2840. Laurent Doyen, Thierry Massart, and Mahsa Shirmohammadi. Infinite Synchronizing Words for Probabilistic Automata. In: MFCS. Edited by Filip Murlak and Piotr Sankowski. Volume 6907. Lecture Notes in Computer Science. Springer, 2011, pages 278 289. 3/5
In national conferences and workshops (peer-reviewed) [W1] [W2] [W3] [W4] Laurent Doyen, Thierry Massart, and Mahsa Shirmohammadi. Synchronizing Objectives for Markov Decision Processes. In: iwigp. Edited by Johannes Reich and Bernd Finkbeiner. Volume 50. EPTCS. 2011, pages 61 75. Fatemeh Abadian, Mohammad Ghasemzadeh, and Mahsa Shirmohammadi. Set Theory- Based of Centralized Diagnosability in Discrete Event Systems. In: 14th International CSI Computer Conference (CSICC2009), Tehran, Iran. 2009. Mohammad Ghasemzadeh and Mahsa Shirmohammadi. Strengthening of a graph-based cryptanalysis method. In: 2nd IEEE International Conference on Computer Science and Information Technology (ICCSIT), Beijing, China. 2009. Mohammad Ghasemzadeh, Christoph Meinel, Mahsa Shirmohammadi, and M. H. Shahzamanian. ZDD-Based Cryptanalysis of E 0 Key stream Generator, in: 4th Iranian Society of Cryptology Conference (ISCC2007), Tehran, Iran. 2007. Unpublished manuscripts [A1] [A2] Laurent Doyen, Thierry Massart, and Mahsa Shirmohammadi. Infinite Synchronizing Words for Probabilistic Automata (Erratum). In: CoRR abs/1206.0995 (2012). Mahsa Shirmohammadi. Distributed and Decentralized failure diagnosis in Discrete Event Systems. Master s thesis. Yazd University, Yazd, Iran, 2009. Manuscripts [S1] [S2] Laurent Doyen, Line Juhl, Kim G. Larsen, Nicolas Markey, and Mahsa Shirmohammadi. Synchronizing Words for Timed and Weighted Automata. URL: http://www.lsv.enscachan.fr/publis/rapports_lsv/pdf/%20rr-lsv-2013-15.pdf. M. H. Shahzamanian, Mahsa Shirmohammadi, and Bijan Davvaz. Roughness in Fuzzy Cayley Graphs. Talks and seminars 06/2014 Robust Synchronization in Markov Decision Processes, in Seminar for Computer Science Department, Univeristy of Oxford. 06/2014 Limit Synchronization in Markov Decision Processes, in Seminar 68NQRT, Rennes. 04/2014 Limit Synchronization in Markov Decision Processes, in FOSSACS 2014, Grenoble. 03/2014 Limit Synchronization in Markov Decision Processes, in CFV Meeting, Brussels. 01/2014 Long-term Synchronization in Markov Decision Processes, in GT Jeux workshop, LIAFA, Paris. 09/2013 Synchronization in Markov Decision Processes, in Highlight 2013, Paris. 07/2013 Quantitative synchronizing words, in Seminar on Semigroups, Automata and Languages, Porto. 04/2013 Limit-sure Synchronization in Markov Decision Processes, in Kick-off Meeting, Paris. 05/2012 Synchronization in Markov Decision Processes, in CFV Meeting, Brussels. 03/2012 Strongly Synchronization in Markov Decision Processes, in Verif Seminar, Brussels. 4/5
09/2011 Synchronizing Infinite Words for Probabilistic Automata, in Games 2011, Paris, France. 08/2011 Synchronizing Infinite Words for Probabilistic Automata, in MFCS 2011, Warsaw. 08/2011 Synchronizing Infinite Words for Probabilistic Automata, in Summerschool Marktoberdorf 2011, Munich. 03/2011 Synchronizing Objectives for Markov Decision Processes, in iwigp Workshop 2011, Saarbrücken. Programming skills Basic Intermediate Advanced Python ASP.Net, html Java, C, C++, L A TEX Languages Persian English French Mother-tongue Fluent in spoken and written Basic knowledge Hobbies - Dancing - Working out: hiking, running, biking - Poetry, classical novels and plays - Games such as Backgammon, Chess - Cooking 5/5