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
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).