Eduard Kamburjan

Eduard Kamburjan is an Assistant Professor in the Department of Software Engineering at the IT University of Copenhagen. His research focuses on integrating Semantic Web technologies with formal methods to develop and analyze data-heavy computational systems, particularly Digital Twins. He is the creator of the SMOL language for knowledge graph integration and Crowbar, a deductive verification system for Active Objects.

His current work explores novel approaches to modularity in program verification, emphasizing contracts for distributed and hybrid systems. In 2024, he contributed to a publication on probabilistic dynamic logic proof systems.

Eduard's research is affiliated with the Software Quality Research (SQUARE) group. His ORCID profile (0000-0002-0996-2543) and contact details, including his office in Copenhagen (Denmark), are publicly accessible.