I am a research fellow at the 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 the verification of concurrent programs under weak memory.

Prior to joining Surrey University, I was a research fellow at the University of Southampton working with Professor Michael Butler on the PRiME project. I did my PhD in Computer Science (2017) under Michael's supervision at the School of Electronics and Computer Science, University of Southampton, and also obtained a master’s degree in Software Engineering (2012) from the same university.

My full CV can be found here. Google Scholar Profile.

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

Sadegh Dalvandi
Recent Publications
Sadegh Dalvandi, Brijesh Dongol, Simon Doherty & Heike Wehrheim
in Journal of Automated Reasoning 2021 Journal
Sadegh Dalvandi, Brijesh Dongol
in arXiv preprint arXiv:2108.06944 2021 Preprint
Sadegh Dalvandi & Brijesh Dongol
in PPoPP '21: Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming 2021 Conference
My Interests
Owicki-Gries Reasoning for C11 RAR

Created with WordClouds.