Registered user since Wed 1 Nov 2017

Name: Siddharth Krishna

Country: United Kingdom

Affiliation: Microsoft Research, Cambridge

Personal website: http://www.cs.nyu.edu/~siddharth/

Research interests: Compiers for Machine Learning, Concurrency, Separation Logic

Contributions