• Second Award in the Fifth National Technology Parade 2012 for the project titled: "4D Entertainment Machnie". 
  • Best Paper Award in IEEE NEWCAS 2010 for the paper titled: SAT Based Model Checking for MDG Models.

    •