I am a research fellow at University of Surrey
. 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 especially w.r.t. weak memory model.
Prior to joining Surrey University, I was a research fellow at University of Southampton
working on PRiME
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
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.