Completed doctorate: Anton Pirogov

18/02/2021
Anton Pirogov Copyright: © Irina Pirogova

On Thursday, February 18, 2021, Anton Pirogov defended his dissertation titled "Automata-Theoretic Techniques in Probabilistic Verification".