Dr. Andrea Turrini

Research interests

His main research interests are formal methods applied to security verification and analysis of concurrent probabilistic systems. He is also interested in non-determinism management and limitation of schedulers' power.

Contact

Dr. Andrea Turrini

Saarland University