Vijay D
844
reputation
4
9
Research areas: program verification, static analysis, logic.