Publication & Accolades

• SCANAS National Conference (30th – 3rd Oct 2010)   

• Presented an extended abstract "On the practicality of Constraint-based Software Verification"   Abstract

• Grace Hopper Celebration for woman in Computing (28th – 1st Oct 2010)

• I have been awarded scholarship from GHC to present a poster on "On the Practicality of Constraint-Based Software Verification"   Poster

24th AAAI Conference on Artificial Intelligence (11 – 15th July 2010)

• Sponsored by NSF, Microsoft Research & Google, Inc. I have been awarded ACM-W scholarship to attend this conference

• 7th Joint UTEP/NMSU workshop (Nov 2010)

• Presented on the topic "Constraint-based Software Verification with Floating-point Numbers"

6th Joint UTEP/NMSU workshop (April 2010)

• Presented on the topic "Use of Interval-based Multi-criteria Decision Making in the Pricing Problem"

NCWIT (April 2010)

• This event was organized by UTEP to encourage high school girls towards college level education. I presented a poster on my Research topic which was both motivational and encouraging