The University of Southampton


Research interests

Formal methods, Formal Verification



MSc Software Engineering (2011-2012)
University of Southampton - United Kingdom

BSc Computer Hardware Engineering (2004-2010)
Islamic Azad University - Arak - Iran

Conferences attended

Verified trustworthy software systems, Royal Society meeting (Monday 4 – Tuesday 5 April 2016)




Marktoberdorf Summer School "Dependable Software Systems Engineering" (July 29 to August 10, 2014)


MSc Computer Science Mentor  (2014/2015)

- Mentored a group of 7 MSc Computer Science students 


Software Engineering Group Project Module Supervisor  (2014/2015 ) 

- Supervised two groups of undergraduate students


Demonstrator (2013 - present) 

- Demonstrator for different undergraduate and postgraduate modules like Software Modelling & Design, Advanced Software Modelling & Design, and Enterprise Web Development.



Dalvandi, Mohammadsadegh, Butler, Michael and Rezazadeh, Abdolbaghi (2015) From Event-B models to Dafny code contracts At 6th IPM International Conference on Fundamentals of Software Engineering, Iran, Islamic Republic of. 22 - 24 Apr 2015.

Dalvandi, Mohammadsadegh, Butler, Michael and Rezazadeh, Abdolbaghi (2015) Transforming Event-B models to Dafny contracts At 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015), United Kingdom. 01 - 04 Sep 2015.

Dalvandi, Mohammadsadegh, Butler, Michael and Rezazadeh, Abdolbaghi (2017) Derivation of algorithmic control structures in Event-B refinement Science of Computer Programming, 148, pp. 49-65. (doi:10.1016/j.scico.2017.05.010).


Share this profile FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.