
A paper, as a result of a bachelor's research project, has been accepted to BNAIC 2026.
I gave an invited tutorial at NII Shonan Meeting on Frontiers of Formal Methods for Probabilistic Models and Programs
SUMI Lab presented at SAIV 2026 with two accepted papers
SUMI Lab hosted Prof. Christian Schilling
I participated in the round table discussion on Safe AI at the EU Parliament

