Skip to content ↓
What are you looking for?

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

Jul 22, 2019

Recent Spotlights