News52: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Elisa Böhl (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Sebastian Rudolph (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 4: | Zeile 4: | ||
|Beschreibung DE=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.<br> <br> | |Beschreibung DE=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.<br> <br> | ||
Vor seiner Zeit an der TU Dresden hat Tim seinen PHD in Computational Logic an der | Vor seiner Zeit an der TU Dresden hat Tim seinen PHD in Computational Logic an der TU Wien erworben und war im [https://ticamore.logic.at/ TICAMORE] Projekt tätig. Mehr über seine Arbeit kann man [https://logic-cs.at/phd/students/timothy-lyon/ hier] erfahren.<br> <br> | ||
Herzlich willkommen, Tim! | Herzlich willkommen, Tim! | ||
Aktuelle Version vom 17. Dezember 2020, 18:03 Uhr
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.
