Talk by Prof Eduard Kamburjan on August 1st

[Bentley Oakes]

Hi everyone,

I hope the summer is going well.

I'm very happy that Prof Eduard Kamburjan from the IT University of Copenhagen (https://edkamb.github.io/) will be giving a talk here next Friday. Please join us if you're interested in Digital Twins and/or ontologies/knowledge graphs.

Location: Polytechnique Montréal, Pavilions Lassonde, room M-4225 (to be confirmed)

Date: August 1st, 10:00

Title: Semantical Reflection in Digital Twins

Abstract:

While knowledge graphs and ontologies are eminently useful to represent formal knowledge about a system’s individuals and universals, programming languages are designed to describe a system’s evolution. To address the dichotomy, we use a mapping that lifts the program states of an object oriented programming language into a knowledge graph. The resulting graph is exposed as a semantic reflection layer within the programming language that can be accessed from the very same program that is lifted, allowing programmers to leverage knowledge of the application domain in their programs. In this talk, we present the core ideas about using semantic reflection in the design of self-adaptive digital twins. 

Bio:

Eduard Kamburjan is an Assistant Professor at the IT University of Copenhagen, associated with the Software Quality group, where he works on self-adaptive digital twins, software engineering for knowledge graphs, and deductive verification. He also holds a part-time position as Senior Researcher with the University of Oslo, where he is associated with the Reliable Systems group. He got his PhD from the Technical University of Darmstadt under the supervision of Reiner Hähnle on modularity in deductive verification.

His 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. He is developing and maintaining the SMOL language which enables programs to use knowledge graphs for reflection and data access. Furthermore, he researchs novel approaches to modularity in deductive program verification, in particular notions of contracts for distributed and hybrid systems.

--
Dr. Bentley Oakes
Professeur adjoint/Assistant Professor
Département de Génie Informatique et Génie Logiciel/
Department of Computer and Software Engineering
Polytechnique Montréal, Canada
bentleyoakes.com