Awards

  1. Awarded MEMOCODE Best Papers for the paper From Non-Zenoness Verification to Termination, MEMOCODE, 2015

  2. Got a travel award from KSU for presenting a paper at Conference Allerton, 2018

  3. Got a travel award from NATO Science for attending International Summer School Marktoberdorf, 2016

  4. Got a travel award from National Science Foundation (NSF) for contributing at Verification Mentoring Workshop, 2016