User Vijay D - Theoretical Computer Science Stack Exchange

Vijay D

12,566

reputation

2

35

61

Berkeley, CA
Member since March 07 2011
4306 profile views
Last seen Jul 20 '19 at 21:21

Research areas: program verification, static analysis, logic.