FormaliSE 2026
Sun 12 - Mon 13 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026
Advait Sarkar

Registered user since Sun 1 Mar 2020

Name:Advait Sarkar
Country:United Kingdom
Affiliation:Microsoft Research and University of Cambridge
Personal website: https://advait.org

Contributions

Show activities from other conferences

Using general profile