
Our paper, as a result of a bachelor's research project, has been nominated for the Best Paper award at 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

