New Member: Tim Lyon
From International Center for Computational Logic
News from the research group Computational Logic of December 17, 2020
New Member: Tim Lyon
Tim Lyon joined the Computational Logic group in November 2020. For the next few years, he will be working as a postdoc researcher in the group of Prof. Sebastian Rudolph on the ERC project DeciGUT.
Before joining TU Dresden, Tim worked on his PhD in Computational Logic at the Vienna University of Technology, and was a research assistant on the TICAMORE project. You can find more information about his PhD research here.
