|
- Co-PI on NSF grant SHF 0905244 for Software Testing (3 years starting 09/2009)
- Grant from a multinational firm for Model
Checking Access-control Policies (3 years starting 09/2009)
- My SMT Solver STP was the winner
of SMTCOMP 2006 competition (Bit-vector category)
|