Skip to content ↓
What are you looking for?

Spotlight: Jul 21, 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 21, 2019

Recent Spotlights