Registered user since Mon 23 Feb 2015

Name: Akash Lal

Country: India

Affiliation: Microsoft Research India

Personal website: http://research.microsoft.com/en-us/people/akashl/

Research interests: Programming Languages, Concurrency, Verification

Contributions