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