معرفی
Eduard Kamburjan is a Researcher at the University of Oslo, affiliated with the Reliable Systems (PSY) and Data and Knowledge Systems (DKM) research groups. His work bridges formal methods, digital twin engineering, and knowledge graph applications.
Research interests include:
- Formal verification of hybrid systems using deductive methods
- Digital twin architecture with compositional correctness guarantees
- Semantic lifting and ontology-driven modeling for complex systems
- Concurrency analysis and non-determinism in program verification
- Interactive visualization as serious games for formal methods
His 2024-2023 publications demonstrate expertise in digital twin reconfiguration, semantic interoperability, and knowledge-based runtime enforcement. Key contributions include Crowbar for active object verification and ABS simulator toolchain for model-driven engineering.
Collaborations span institutions like Springer, ACM, and IEEE, with work featured in Lecture Notes in Computer Science (LNCS), Software and Systems Modeling (SoSyM), and Science of Computer Programming. His research integrates RDF data management, behavioral contracts, and modular analysis for distributed systems.
