Mahsa Shirmohammadi
PhD student, U.L.B. (Brussels, Belgium) and E.N.S (Cachan, France).

I am a PhD student under the supervision of Prof. Thierry Massart and Dr. Laurent Doyen. My thesis is a joint work between the Service des méthodes formelles et vérification at Université Libre de Bruxelles and Laboratoire Spécification et Vérification at ENS Cachan - École normale supérieure de Cachan. My study is funded by F.N.R.S Aspirant.

Quantative Verification:

Stochastic Games and Probabilistic Systems.

Supervisory Control and Diagnosability:

Distributed/Decentralized Control and Diagnosability in Discrete Event Systems.

Synchronization:

Automata Theory and Semigroup Theory.

Algebraic Graph Theory:

Cayley Graphs and Group Theory.

Quantitative Model Checking (QMC2010), March 2010, Copenhagen, Denmark.
Modeling and Verifying Parallel Processes (MOVEP2010), Summer 2010, Aachen, Germany.
Tools for Analysis and Verification of Software Safety and Security (Marktoberdorf2011), August 2011, Marktoberdorf, Germany.

2010-2011, U.L.B: Teaching Assistant in collabration with Alexander Heussner: Formal Verification of Computer Systems (INFO-F-412).

Poems and Novels
Persian poets: Omar Khayyam
Persian writers: Gholam-Hossein Saedi, Sadeq Chubak,Sadegh Hedayat, Mahmoud Dowlatabadi, Ahmad Mahmoud, Salman Rushdie,Houshang Golshiri
Russian writers: Fyodor Dostoyevsky, Mikhail Sholokhov, Alexander Pushkin
French(-language) writers: Honoré de Balzac, Jean-Paul Sartre, Simone de Beauvoir,Albert Camus
German writers: Bertolt Brecht, Friedrich Nietzsche