I am employed as a Ph.D. researcher at NTNU. My research focuses on concurrency theory and formal verification, to contribute to the development of a Higher-dimensional automata model under the supervision of Stephen Wolthusen and Basel Katt at NTNU, Uli Fahrenberg (EPITA, Paris), and Krzysztof Ziemiański (the University of Warsaw, Poland).
In my research, I focus on concurrency theory and the use of formal verification to ensure the correctness of computer systems and software. I'm particularly interested in applying mathematical techniques to formally specify and verify system properties. This involves exploring topics such as logic and Higher Dimensional Automata, the concurrent counterpart of automata.