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.