Sadegh Dalvandi

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 and EnableS3 projects.

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.

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.
Sadegh Dalvandi

Social Media


No news ...


This page was last updated on 2019/03/29. Sadegh Dalvandi © 2018.