- salmani at cs.rwth-aachen.de
- Room 4207
- +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.
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: