Registered user since Wed 24 Jul 2019
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
|ProLaLa 2022|| Legal Calculi|
Littleton: An Educational Environment for Property Law
|Show activities from other conferences|
Using general profile