FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
Thomas T. Hildebrandt

Registered user since Mon 22 Jun 2020

Name:Thomas T. Hildebrandt
Bio:

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

Country:Denmark
Affiliation:University of Copenhagen
Research interests:Concurrency, declarative Model-driven design, formal methods, semantics, executable law

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile