Bio

PhD, University of Massachusetts at Amherst

Awards

  • Fulbright Research Scholar (2011)
  • IEEE Fellow (2013)
  • Parnas Fellow (2018)

Research Interests

  • Software Verification and Validation