Welcome

My name is Sadegh Dalvandi. I am a research fellow at University of Southampton working in PRiME project. I am also a PhD Computer Science student (defended my thesis, but not officially graduated yet!) 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.