I am a research fellow at University of Surrey working with Dr Brijesh Dongol. My main research interest is Formal Methods in Software Engineering. I am particularly interested in tools and methods for developing verified programs and program verification. Currently my focus is on verification of concurrent programs under weak memory. Prior to joining Surrey University, I was a research fellow at University of Southampton working with Professor Michael Butler on PRiME project.

I did my PhD in Computer Science  under supervision of Professor Michael Butler at School of Electronic and Computer Science, University of Southampton. I obtained a Master’s degree in Software Engineering from the University of Southampton (2012).

I can be reached at sadegh [at sign] dalvandi [dot] com.

Social Media



  • [09/04/2020] Our paper "Owicki-Gries Reasoning for C11 RAR" was accepted to ECOOP 2020.
  • [18/09/2019] Our paper "Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B" has been accepted to the International Journal on Software Tools for Technology Transfer. 
  • [16/09/2019] Our paper "Verifying Cross-layer Interactions through Formal Model-based Assertion Generation" has been accepted to IEEE Embedded Systems Letters. 
  • [08/08/2019] Our paper "SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B" has been accepted to Workshop on Practical Formal Verification for Software Dependability (AFFORD 2019)
  • [12/06/2019] Our paper "Towards Deductive Verification of C11 Programs with Event-B and ProB" has been accepted to the 21st Workshop on Formal Techniques for Java-like Programs (FTfJP 2019)
  • [7/06/2019] Our book chapter "Developing portable embedded software for multicore systems through formal abstraction and refinement" has been published.


This page was last updated on 2020/06/15. Sadegh Dalvandi © 2018.