Sadegh Dalvandi

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
Dana Dghaym, Sadegh Dalvandi, Michael Poppleton & Colin Snook
in International Journal on Software Tools for Technology Transfer volume 2020 Journal
Sadegh Dalvandi, Brijesh Dongol, and Simon Doherty
in arXiv 2020 Preprint
Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, and Heike Wehrheim
in 34th European Conference on Object-Oriented Programming (ECOOP 2020) 2020 Conference
My Interests
Owicki-Gries Reasoning for C11 RAR

Created with WordClouds.