Stepan Kuznetsov - FM 2026

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Registered user since Thu 30 Apr 2026

Name:Stepan Kuznetsov

Country:Germany

Affiliation:TU Braunschweig & Huawei Hilbert Research Center

Personal website: http://stepan-k.ru

Contributions

2026

FM

Unifying Non-Atomicity for Weak Memory Models

Show activities from other conferences

FM 2026-profile
View general profile