ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
ETAPS 2019 (series) / Aseem Rastogi
Aseem Rastogi

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/

Contributions

POST 2019Author of Wys*: A DSL for Verified Secure Multi-party Computations within the POST 2019-track
ESOP 2019Author of Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms within the ESOP 2019-track
Show activities from other conferences

ETAPS 2019-profile
View general profile