Bahare Salmani

salmani at
Room 4207
Ahornstra├če 55
D-52074 Aachen
+49 241 80 21202

I’m a Ph.D. student in the chair “Software Modeling and Verification (moves)” headed by Prof. Joost-Pieter Katoen. My research interests include probabilistic programs, probabilistic model checking, and formal methods in a broader sense.


During my Ph.D. in the “moves” group, I’ve been a member of the FRAPPANT project with a focus on analyzing Bayesian networks. More concretely, I’ve been investigating how the techniques from probabilistic model checking can be carried over to (a) probabilistic inference and (b) parameter synthesis on (parametric) Bayesian networks. Our latest results have been recently accepted for publication in the Journal of Artificial Intelligence (JAIR) and at the International Joint Conference in Artificial Intelligence (IJCAI-23). 

Past Projects:

Before I join the moves group, I was a member of the RoboRebeca project headed by Marjan Sirjani. We developed a framework to generate safe codes for robotic applications.


Here is the list of thesis projects that I’m currently supervising or have supervised so far.

  • Beyza Aky├╝z, Analysing Sum-Product Networks, Ongoing Bachelor Thesis,
  • Anike Heikrodt, Monotonicity Analysis of Parametric Bayesian Networks, Ongoing Bachelor Thesis (co-supervision with Jip Spel).
  • Markus Milliats, Semantics and Analysis of Recursive Bayesian Networks, Master Thesis, 2023.
  • Alexandra Ivanova, Model Repair on Markov Chains and Tuning the Parameters in Bayesian Networks, Bachelor Theis, 2022.
  • Xu Yiefi, Analysing Bayesian Network Classifiers by Probabilistic Model Checking, Bachelor Thesis, 2022.
  • Hans Vrapi, Probabilistic Inference on Dynamic Bayesian Networks, Bachelor Thesis, 2021.
  • Robin Drahovsky, Parameter Synthesis on Bayesian Networks, Master Thesis, 2020.

I am always looking forward to working with students. If you are looking for a bachelor/master thesis in the context of probabilistic graphical models and their connection to probabilistic model checking / probabilistic programming, do not hesitate to contact me.


I am currently involved in the following teaching responsibilities:

Past teaching activities at RWTH:

Past teaching activities at SUT:


DOI fulltext PDF [bibtex]
title = {Automatically Finding the Right Probabilities in Bayesian Networks},
author = {Bahare Salmani Barzoki and Joost-Pieter Katoen},
publisher = {AI Access Found.},
journal = {Journal of artificial intelligence research},
volume = {77},
pages = {pages 1637-1696},
type = {Journal Article},
year = {2023},
doi = {10.1613/jair.1.14044},
url = {},
Bahare Salmani Barzoki, Joost-Pieter Katoen. Automatically Finding the Right Probabilities in Bayesian Networks, Journal of artificial intelligence research 77, pages 1637-1696, AI Access Found., 2023.
DOI fulltext PDF [bibtex]
title = {Fine-Tuning the Odds in Bayesian Networks},
author = {Bahare Salmani Barzoki and Joost-Pieter Katoen},
publisher = {Springer},
booktitle = {LNCS},
volume = {12897},
pages = {268-283},
type = {Conference Paper},
year = {2021},
doi = {10.1007/978-3-030-86772-0_20},
url = {},
Bahare Salmani Barzoki, Joost-Pieter Katoen. Fine-Tuning the Odds in Bayesian Networks, European Conference on Symbolic and Quantitative Approaches with Uncertainty (ECSQARU), Volume 12897 of LNCS, 268-283, Springer, 2021.
Show all