Kedar Namjoshi - SPLASH 2021

Registered user since Fri 7 Sep 2018

Name:Kedar Namjoshi

Country:United States

Affiliation:Nokia Bell Labs

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

SPLASH 2021-profile
View general profile