Thomas has been Professor at Department of Computer Science, Copenhagen University and head of the Software, Data, People & Society research section since 2018. He completed his PhD in semantics for concurrent systems at Aarhus University 1999 and was employed at IT University of Copenhagen from 1999 to 2018. He has since 2007 in particular worked on declarative languages for executable law and flexible workflow systems, leading to the DCR Graph notation and tools developed and sold by the company DCRSolutions.net