Publikationer pr. år
Publikationer pr. år
Publikationer pr. år
My research focuses on the integration of technologies and theories from the Semantic Web with formal methods to specify, analyse and simulate data-heavy computational systems, in particular Digital Twins. I am developing and maintaining the SMOL language which enables programs to use knowledge graphs for reflection and data access. Furthermore, I research novel approaches to modularity in deductive program verification, in particular notions of contracts for distributed and hybrid systems. I am developing and maintaining Crowbar, a deductive verification system for Active Objects.
Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review