- 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