Intet billede af Eduard Kamburjan
20242024

Publikationer pr. år

Personlig profil

Forskningsområder

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.

Fingeraftryk

Dyk ned i forskningsemnerne, hvor Eduard Kamburjan er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
  • 1 Lignende profiler