- salmani at cs.rwth-aachen.de
- Address
- Room 4207
Ahornstraße 55
D-52074 Aachen - Phone
- +49 241 80 21202
Research
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.
Teaching
I am currently involved in the following teaching activities:
Past teaching activities: