Academia Stack Exchange
Academia Stack Exchange

Vijay D
216
reputation
1
4
  • Berkeley, CA
  • Member since April 16 2013
  • 44 profile views
  • Last seen Nov 14 '13 at 04:34

Research areas: program verification, static analysis, logic.