He is the architect of libSBML and for a long time was its primary developer; he also developed the second generation of the SBML online validator. At NASA he's been even more productive, and in 2011, one of his projects (where he was a technical lead) won NASA's 2011 Software of the Year award.