Registered user since Mon 2 Nov 2015

Name: Aseem Rastogi

Country: India

Affiliation: Microsoft Research

Personal website: https://www.microsoft.com/en-us/research/people/aseemr/

ICFP 2017 Activities

• Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track in ICFP 2017
• Author of Recalling a Witness within the HOPE 2017-track in HOPE 2017
• Committee Member in Program Committee for HOPE 2017
• Show activities from other conferences