Research
My main research focuses lie in Digital Twins, and the intersection of knowledge graphs and software engineering. In particular, I am interested how to formally model, test, analyze and verify software applications for graph data, and how to model self-adaptation structure of Digital Twins.