Anton Pirogov gains FTI-Award

Prize-Giving Copyright: © GI/Wolfgang Borrs

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.