In the press

Leino in the press, read all about it:

• Rustan Leino provides proof that software is bug free

• AWS Security Profile: Rustan Leino, Senior Principal Applied Scientist