Reza Ahmadi
PhD candidate
My name is Reza (rezä). I received a Masters of Software Development from University of Tampere (Finland) under supervision of Dr. Jyrki Nummenmaa (University of Tampere) and Dr. Rustan Leino (Microsoft Research). I am currently doing my Ph.D. at MASE lab at Queen's University under supervision of Dr. Juergen Dingel. Before I start graduate school I was a senior developer both in Finland and Iran. My research interests lie in the area of Formal Methods in Software Engineering, where in Modelling & Analysis in Software Engineering (MASE) lab at Queen's, we work on Model Driven Engineering (MDE) tools and techniques for constructing complex software. I am currently working on UML-RT models V&V on top of open source tools such as PapyrusRT, and Klee.
Featured publications
  • Ahmadi R., N. Hili, N. Das, S. Ganesan, L. Jweda, J. Dingel, 2016, July. Run-time Monitoring of a Rover: MDE Research with Open Source Software and Low-cost Hardware. OSS4MDE 2016. [Download here]
  • Ahmadi, R., Leino, K.R.M. and Nummenmaa, J., 2015, July. Automatic verification of Dafny programs with traits. FTfJP@ECOOP 2015: 4:1-4:5. [Download here]
full list of publications
  • CISC 432 (Teaching Aassistant, Fall 2016)
  • SOFT 423 (Teaching Fellow, Winter 2016)
  • CISC 422 (Teaching Aassistant, Fall 2017)