Research output per year
Research output per year
Personal profile
Research areas
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.
Keywords
- Semantic Web
- Computational Systems
- Digital Twins
- SMOL language
- Hybrid Systems
Fingerprint
Dive into the research topics where Eduard Kamburjan is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Research output
- 1 Book chapter
-
Towards a Proof System for Probabilistic Dynamic Logic
Johnsen, E. B., Kamburjan, E., Pardo, R., Voogd, E. & Wąsowski, A., 2024, Towards a Proof System for Probabilistic Dynamic Logic. Springer, Vol. 15260. p. 322-338Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review