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, 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

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.

×