Bahare Salmani

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


I am a PhD student at the Software Modeling and Verification Group headed by Professor J.-P. Katoen, and a member of the FRAPPANT project. My research interests include probabilistic model checking and probabilistic programming with the focus on Bayesian networks reasoning.

Bachelor/Master Theses

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

Some of the currently available topics include:

  • Probabilistic Inference on Dynamic Bayesian networks.
  • Parameter Synthesis on Bayesian networks.
  • Feasability Checking on parametric Bayesian networks.


I am currently involved in the following teaching activities:

Past teaching activities: