Anton Pirogov gains FTI-Award
14/11/2018
UnRAVeL-member Anton Pirogov is honored for his master thesis SMT-based Flat Model-Checking for LTL with Counting with the Fakultäten Informatik-award 2018.
Anton wrote his Master's thesis at the Lübeck University, under the supervision of Martin Leucker, a former doctoral candidate at the Institut of Software Modelling and Verification (i2) at the RWTH Aachen University.