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

POPL 2021	Committee Member in Program Committee within the Research Papers-track
SAS 2020	Committee Member in Program Committee within the SAS 2020 - 27th Static Analysis Symposium-track
VMCAI 2020	Session Chair of Papers 2 (part of VMCAI 2020) PC Member in Program Committee within the VMCAI 2020-track Author of Witnessing Secure Compilation within the VMCAI 2020-track
POPL 2020	Author of Synthesis of Coordination Programs from Linear Temporal Specifications within the Research Papers-track
PriSC 2019	Author of Security Witnesses for Compiler Transformations within the PriSC 2019-track
VMCAI 2019	Invited Speaker in Invited Speakers within the VMCAI 2019-track Committee Member in Program Committee within the VMCAI 2019-track Invited Speaker of Designing Self-Certifying Software Systems within the VMCAI 2019-track Session Chair of Decision Procedures (part of VMCAI 2019)