Neuer Mitarbeiter: Tim Lyon
Aus International Center for Computational Logic
Neuigkeit aus der Forschungsgruppe Computational Logic vom 17. Dezember 2020
Neuer Mitarbeiter: Tim Lyon
Tim Lyon ist seit November das neueste Mitglied der Gruppe Computational Logic. Für die nächsten Jahre wird er als PostDoc unter Prof. Sebastian Rudolph im ERC Projekt DeciGUT arbeiten.
Vor seiner Zeit an der TU Dresden hat Tim seinen PHD in Computational Logic an der TU Wien erworben und war im TICAMORE Projekt tätig. Mehr über seine Arbeit kann man hier erfahren.
