SPLASH 2019 (series) / Anshuman Mohan

Registered user since Wed 24 Jul 2019
Name: Anshuman Mohan
Bio: Anshuman is a research assistant based in Singapore. He enjoys adventures that have at least a tangential involvement with food.
Country: Singapore
Affiliation: National University of Singapore
Research interests: Programming Languages, Formal verification
Contributions
SPLASH 2019-profile
View general profile
View general profile