- Students
- Post-docs
My basic research interests are in the field of formal verification, stochastic game theory. If you are interested in basic research in this field of formal methods in verification, logic and automata theory, game theory, feel free to contact me.
- Visitors
We would be very pleased to host short term and long term research visitors. If you are interested in visiting our group, please send me an email.