Re: *Whose* code?
"Algorithms of this type are highly sought after, and are a valuable thing.
He deserved to be punished for this, it was theft."
You seem to have decided that he is guilty based on no more than a quick supposition. Assuming you don't work for Goldman Sachs you might be accused of being as ignorant (through no fault of their own) and as apathetic as the original jury (who's verdict was overturned).
If you have studied the case and code in detail and believe that this consisted of highly valuable algorithms, then sure you are entitled to state that, however I suspect you haven't.