Spotlight: Jul 22, 2019
Behind every web service is a programmer’s code. Computer scientist Adam Chlipala’s work is even further from view: He’s automating programming, eliminating “boring, repetitive work” and reducing the cost of secure, reliable systems. Full story