?

Folders below offer a first look at the content.

TEAM

Research

Education

Service

tap on folder to open

Explore the Team page to learn more about Dr. Lukina’s research collaborators, their peer-reviewed publications, and the international academic exchanges she has undertaken and facilitated, including visits with leading universities and research institutes worldwide.

TEAM

Research

Education

Service

Explore the Team page to learn more about Dr. Lukina’s research collaborators, their peer-reviewed publications, and the international academic exchanges she has undertaken and facilitated, including visits with leading universities and research institutes worldwide.

?

Folders below offer a first look at the content.

TEAM

Research

Education

Service

tap on folder to open

Explore the Team page to learn more about Dr. Lukina’s research collaborators, their peer-reviewed publications, and the international academic exchanges she has undertaken and facilitated, including visits with leading universities and research institutes worldwide.

TEAM

Research

Education

Service

Explore the Team page to learn more about Dr. Lukina’s research collaborators, their peer-reviewed publications, and the international academic exchanges she has undertaken and facilitated, including visits with leading universities and research institutes worldwide.

I will give an invited tutorial at NII Shonan Meeting on Frontiers of Formal Methods for Probabilistic Models and Programs

SUMI Lab is going to SAIV 2026 with two accepted papers

SUMI Lab hosted Prof. Christian Schilling

I gave an invited talk at the National Institute of Informatics in Tokyo.

Sterre attended Dagstuhl Seminar on User-Aligned Assessment of AI Systems.