Zwei Publikationen wurden angenommen bei der Konferenz "Logic in Computer Science (LICS 2021)"
Mein Video mit Jakub Rydval für die LICS 2020 hat den Preis für das beste Video gewonnen.
