SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
SPLASH 2021 (series) / Kedar Namjoshi
Kedar Namjoshi

Registered user since Fri 7 Sep 2018

Name:Kedar Namjoshi
Country:United States
Affiliation:Nokia Bell Labs
Personal website:https://kedar-namjoshi.github.io/
Research interests:Semantics, Deductive Verification, Model Checking, Security, Synthesis

Contributions

SAS 2021 Session Chair of Session 3C (part of SAS)
Session Chair of Session 1A (part of SAS)
Session Chair of Session 3B (part of SAS)
Co-chair in Organizing Committee within the SAS-track
Co-chair in Program Committee within the SAS-track
Session Chair of Session 4B (part of SAS)
SPLASH 2021 Session Chair of Program Synthesis (part of OOPSLA)
Show activities from other conferences

Using general profile