The University of Southampton

Research

Research interests

Formal methods, Formal Verification

Professional

Qualifications

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)

AVoCS2015

AI4FM2015

FSEN2015

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

Duties

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.

 

Publications

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. At 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) 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 6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018, Proceedings of. University of Southampton. 15 pp, pp. 1-15.

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.

Contact

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.

×