ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
ICFP 2022 (series) / Nikhil Swamy
Nikhil Swamy

Registered user since Sat 14 Jan 2017

Name:Nikhil Swamy
Country:United States
Affiliation:MSR Redmond
Personal website:https://research.microsoft.com/~nswamy
Research interests:Programming Languages, Program Verification, Security

Contributions

ICFP 2022 ICFP 2023 Announcement
Steering Committee Member in Steering Committee
Committee Member in Program Committee within the Student Research Competition-track
PLanQC 2022 Q*: Implementing Quantum Separation Logic in F*
Show activities from other conferences

ICFP 2022-profile
View general profile