Personlig profil
Profil informationstekst
I am a postdoctoral researcher in Computer Science with a strong interest in decision-making under uncertainty for multi-agent systems. I leverage software analysis techniques to enhance the reliability, safety, and explainability of reinforcement learning. I am passionate about both the theoretical foundations of reinforcement learning and its practical applications in dynamic and complex real-world environments.
Forskning
Reinforcement Learning
Multi-agent Systems
Game Theory
Smart Grids
Formal Methods
Ansættelser/stillinger
PostDoc
Department of Computer Science,
IT-University of Copenhagen, Denmark &
Digital Research Centre Denmark (DIREC)
Undervisningstilgang
Teaching assistant for Advance Programming
Eksterne ansættelser
Supervisor, Institute for Advanced Studies in Basic Sciences, Zanjan
sep. 2022 → …
Emneord
- Multi-agent systems
- Smart grids
- Game theory
- Machine learning
- Algorithm design
Fingeraftryk
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
-
Testing and Symbolic Analysis For Reinforcement Learning
Ghaffari, M., 2025, IT-Universitetet i København. 192 s.Publikation: Afhandlinger › Ph.d.-afhandling
Fil -
Formal Specification and Testing for Reinforcement Learning
Varshosaz, M., Ghaffari, M., Broch Johnsen, E. & Wasowski, A., 2023, I: Proceedings of the ACM on Programming Languages. 7, Issue ICFP, s. 125-158 33 s., 193.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning
Åben adgangFil -
Learning-based systems for assessing hazard places of contagious diseases and diagnosing patient possibility
Davoodi Monfared, M. & Ghaffari, M., 2023, I: Expert Systems With Applications. 213, Part B, 119043.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
Towards Formal Specification of Reinforcement Learning
Varshosaz, M., Ghaffari, M., Broch Johnsen, E. & Wasowski, A., 2023.Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Konferenceabstrakt til konference › Forskning › peer review
Projekter
- 2 Afsluttet
-
DIREC: Verifiable and Safe AI for Autonomous Systems
Wasowski, A. (PI), Ghaffari, M. (CoI), Varshosaz, M. (CoI) & Høeg-Petersen, A. H. (CoI)
01/03/2021 → 30/09/2025
Projekter: Projekt › Forskning
-
DIREC: Digital Research Centre Denmark
Godskesen, J. C. (PI), Barkhuus, L. (PI), Bonnet, P. (PI), Brabrand, C. (PI), Schürmann, C. (PI), Sekara, V. (PI), David, B. M. (PI), Husfeldt, T. (PI), Curticapean, R.-C. (PI), Limaye, N. (PI), Aumüller, M. (PI), Jacob, R. (PI), Risi, S. (PI), Wasowski, A. (PI), Okkels, C. B. (CoI), Berthelsen, K. H. (CoI), Larsen, M. K. (CoI), Schmidt, M. D. (CoI) & Ghaffari, M. (CoI)
01/10/2020 → 30/09/2025
Projekter: Projekt › Forskning
Forskningsdatasæt
-
Minimizing Combined Sewer Overflows with Online Model-Predictive Reinforcement Learning: A Case Study of the Stormwater Tunnel in Denmark
Hahyeon Kim, E. (Ophavsmand), Dyhre Nielsen, T. (Ophavsmand), Ghaffari, M. (Ophavsmand), Goorden, M. (Ophavsmand), Holck Høeg-Petersen, A. (Ophavsmand), Guldstrand Larsen, K. (Ophavsmand) & Wasowski, A. (Ophavsmand), ZENODO, 1 jun. 2025
DOI: 10.5281/zenodo.14288652, https://zenodo.org/records/14288652
Datasæt: Software
-
MPC combined Reinforcement Learning for minimizing CSO: A Case Study of the Stormwater Tunnel in Denmark
Hahyeon Kim, E. (Ophavsmand), Dyhre Nielsen, T. (Ophavsmand), Ghaffari, M. (Ophavsmand), Goorden, M. (Ophavsmand), Holck Høeg-Petersen, A. (Ophavsmand), Guldstrand Larsen, K. (Ophavsmand) & Wasowski, A. (Ophavsmand), ZENODO, 14 maj 2024
DOI: 10.5281/zenodo.11191543, https://zenodo.org/records/11191543 og et link mere, https://zenodo.org/records/14160730 (vis færre)
Datasæt: Software
-
Formal Specification and Testing for Reinforcement Learning (Supplementary Material )
Varshosaz, M. (Ophavsmand), Ghaffari, M. (Ophavsmand), Johnsen, E. B. (Ophavsmand) & Wasowski, A. (Ophavsmand), ZENODO, 26 jun. 2023
DOI: 10.5281/zenodo.8083298, https://zenodo.org/record/8083298
Datasæt: Software
-
Data publication: Learning-based systems for assessing hazard places of contagious diseases and diagnosing patient possibility
Davoodi Monfared, M. (Ophavsmand) & Ghaffari, M. (Ophavsmand), Rodare, 9 nov. 2022
DOI: 10.14278/rodare.1938, https://rodare.hzdr.de/record/1939
Datasæt
Aktiviteter
-
Applied Soft Computing (Tidsskrift)
Ghaffari, M. (Anmelder)
2022 → …Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
Expert Systems With Applications (Tidsskrift)
Ghaffari, M. (Anmelder)
2022 → …Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
Efficient Discrete reinforcement Learning (MSc research project)
Ghaffari, M. (Eksaminator)
2024Aktivitet: Undersøgelse - typer › Eksamination
-
Formal Specification and Testing for Reinforcement Learning
Ghaffari, M. (Oplægsholder)
2023Aktivitet: Tale eller præsentation - typer › Foredrag og mundtlige bidrag
-
Information Science (Tidsskrift)
Ghaffari, M. (Anmelder)
2021 → …Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Forskning