ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Nikhil Swamy

Registered user since Sat 14 Jan 2017

Name:Nikhil Swamy
Country:United States
Affiliation:MSR Redmond
Research interests:Programming Languages, Program Verification, Security

Contributions

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

ICFP 2022-profile
View general profile