Work Experience

Mentor — University of Southampton, Southampton, UK

Working as a mentor within the mentoring program in the school to empower students to become proactive, independent learners, informed of their rights and obligations on the path to success.

Sep 2014 — present

Demonstrator — University of Southampton, Southampton, UK

Working as a teaching assistant for different undergraduate and postgraduate modules such as Software Modelling & Design, Advanced Software Modelling & Design, Enterprise Web Development, and Software Engineering Group Project.

Sep 2013 — present

Freelance Web Developer — Arak, Iran

Worked as a freelance web developer on various projects including development of a CMS for Amir-Kabir state hospital intranet and another CMS for Atre-Yas weekly magazine for online publishing of the magazine.

Jul 2008 — Sep 2009

Co-founder & Event Manager — Yazdan Mehr Markazi Co., Arak, Iran

Yazdan Mehr Markazi was an event organizer company specialized in organizing exhibitions. I used to work as an event manager responsible for planning and managing exhibitions.

Aug 2006 — May 2008


PhD Computer Science — University of Southampton, UK

My PhD research is focused on linking top-down and bottom-up formal verification approaches to increase their interoperability and effectiveness in developing verified and correct software systems.

Sep 2013 — present

Dependable Software Systems Engineering — Marktoberdorf Summer School, Germany

The "Marktoberdorf Summer School" is a two weeks' course for young computer scientists and mathematicians working in the field of formal software and systems development.

Jul 2014

MSc Software Engineering — University of Southampton, UK

MSc Project: Investigation and Analysis of Code Generation for Event-B. Modules studied include: Enterprise Web Development, Project Management & Software Engineering, Formal Design of Systems, Intelligent Agents

Sep 2011 — Sep 2012

BSc Computer Hardware Engineering — Azad University of Arak, Iran

BSc Project: Design and implementation of a content management system for managing news portals using PHP and MySQL. Studied various Computer Science and Electronic Engineering related modules.

Sep 2004 — Feb 2010

Diploma in Mathematics and Physics — Dehkhoda Private High School, Arak, Iran

Sep 2001 — May 2004


Solid knowledge and experience of PHP, Java, MySQL, HTML and CSS
Solid know of MVC and PHP frameworks like Laravel


Deep knowledge of OOP


Familiar with JavaScript, AJAX, Python


Familiar with version control systems such as Git


Knowledge of Eclipse plugin development


Advanced knowledge of program verification and formal methods



Travel Grant For attending the Royal Society meeting on Trustworthy Software Systems.


Travel Grant — For participating and presenting my research in AVoCS 2015 Conference.


Postgraduate Research Scholarship University of Southampton and Microsoft Research.


Volunteering activities

Publicity OfficerIEEE Student Branch, University of Southampton, UK

Committee member and publicity officer of the IEEE student branch. Responsible for publishing the branch and events. I am also involved in development and maintenance of the branch website.

Sep 2015 — present

Founder & Editor Free Thought student magazine, Azad University, Arak, Iran

Free Thought (in Farsi: Andishe-Azad) is a student run print magazine with focus on student life, politics and society. The magazine is still being published in the university by a group of students.

Nov 2008 — Feb 2010

President Students Association, Azad University, Arak, Iran

Student Association is an independent political student society in Azad University of Arak with approximately 1000 members.

Oct 2008 — Feb 2010


Transforming Event-B models to Dafny contracts
Mohammadsadegh Dalvandi, Michael Butler, Abdolbaghi Rezazadeh
15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015), Edinburgh, GB

Aug 2015

From Event-B models to Dafny code contracts
Mohammadsadegh Dalvandi, Michael Butler, Abdolbaghi Rezazadeh
6th IPM International Conference on Fundamentals of Software Engineering (FSEN2015), Tehran, Iran

Apr 2015

Towards Verified Implementation of Event-B Models in Dafny
Mohammadsadegh Dalvandi, Michael Butler
5th Rodin User and Developer Workshop, Toulouse, France

Jun 2014


Available upon request



This page was last updated on 2016/08/17. Sadegh Dalvandi © 2018.