During the ETAPS 2025 Conference at Hamilton, Canada, Kevin Batz has received the prestigious Doctoral Dissertation Award of the ETAPS Association. His PhD dissertation thesis entitled “Automated Deductive Verification of Probabilistic Programs” was considered a milestone, greatly advancing the state-of the art in automated deductive verification of discrete probabilistic programs.
