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 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. 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, 49-65. (doi:10.1016/j.scico.2017.05.010).
Dalvandi, Sadegh, Butler, Michael, Rezazadeh, Abdolbaghi and Salehi Fathabadi, Asieh (2018) Verifiable code generation from scheduled event-B models. In Abstract State Machines, Alloy, B, TLA, VDM, and Z: ABZ 2018. vol. 10817, Springer. 15 pp, pp. 1-15. (doi:10.1007/978-3-319-91271-4_16).
Dalvandi, Sadegh, Salehi Fathabadi, Asieh and Butler, Michael (2018) Using formal methods for automatic platform-independent code generation of run-time management. University Booth at DATE 2018, Dresden, Germany. 19 - 22 Mar 2018.
Dalvandi, Sadegh and Butler, Michael (2014) Towards verified implementation of Event-B models in Dafny. 5th Rodin User and Developer Workshop, Toulouse, France. 02 - 03 Jun 2014.
Dalvandi, Sadegh, Salehi Fathabadi, Asieh and Butler, Michael (2018) A report on PRiME code generation activities. 7th Rodin Workshop, Southampton, United Kingdom. 05 Jun 2018.