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).

I am an associate of The (i)Po(m)set Project and a member of the Epita research laboratory (LRE), France.

I gave a talk at - YR CONCUR 2022.

                        - NWPT 2022.

                        -WiL 2023.