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.
Affiliation: National University of Singapore
Research interests: Programming Languages, Formal verification
|APLAS 2019||Author of A Verified Garbage Collector for Gallina within the APLAS NIER-track|
|Show activities from other conferences|
View general profile