Anton Pirogov bekommt FTI-Preis
14.11.2018
UnRAVeL-Mitglied Anton Pirogov wird für seine Masterarbeit mit dem Titel SMT-based Flat Model-Checking for LTL with Counting mit dem 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.