Anton Varonka successfully defended his PhD thesis
Friday, Jun 19, 2026We're proud to announce that Anton Varonka has successfully defended his PhD thesis titled "Algebraic Analysis of Loop Programs". Congratulations!
We're proud to announce that Anton Varonka has successfully defended his PhD thesis titled "Algebraic Analysis of Loop Programs". Congratulations!