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
|CPP 2020||Author of A Functional Proof Pearl: Inverting the Ackermann Hierarchy within the CPP 2020-track|
|Show activities from other conferences|
View general profile