About Vishal Lama

Software developer with an interest in using formal verification methods for solving business problems. I've also had a lifelong interest in mathematics.

Lists

Timeline

{username} has no activity yet