computer science

Kim Guldstrand Larsen is professor in the Department of Computer Science at Aalborg University within the Distributed, Embedded Systems and Intelligent (DEIS) Unit and director of the ICT-competence center CISS, Center for Embedded Software Systems. Being the prime investigator of the award winning tool UPPAAL as well as its branches, his talk will highlight ongoing research towards explainable …