As a senior principal applied scientist at Amazon Web Services, Leino is continuing his career as a leading expert in program verification.Read More
As a senior principal applied scientist at Amazon Web Services, Leino is continuing his career as a leading expert in program verification.Read More