Anton Pirogov bekommt FTI-Preis

14.11.2018
Preisübergabe GI/Wolfgang Borrs

UnRAVeL-Mitglied Anton Pirogov wird für seine Masterarbeit it dem Titel SMT-based Flat Model-Checking for LTL with Counting der Fakultäten Informatik-Preis für die beste Abschlussarbeit 2018 ausgezeichnet.

 

Anton hat seine Masterarbeit an der Universität Lübeck geschrieben, unter der Federführung von Martin Leucker, ehemalige Doktorand am Institut Softwaremodellierung und Verifikation (i2) der RWTH Aachen University.