Neel Krishnaswami

Registered user since Wed 15 Feb 2017

Name:Neel Krishnaswami
Country:United Kingdom
Affiliation:University of Cambridge
Research interests:Programming Languages, Logic, Semantics, Type Theory


POPL 2023 Session Chair of Types I (part of POPL)
CN: Verifying Systems C Code with Separation-Logic Refinement Types
Types I: Session Preview
Session Chair of Semantics I (part of POPL)
Show activities from other conferences

POPL 2023-profile
View general profile