I am a research fellow at University of Southampton working in PRiME
project. I did my PhD in Computer Science 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 finished my undergraduate studies at Azad University of Arak
in Iran. 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. I have used Event-B formal modelling language and Dafny programming language and verifier for my research. I have published a couple of papers on linking Event-B and Dafny.
You can find out more about my research and personal projects in this website. I am going to share some of my photos here as well. If you need to get in touch with me, just drop me an email. I can be reached at sadegh [at sign] dalvandi [dot] com.