Anton Pirogov gains FTI-Award

14/11/2018
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.