As software and algorithms become an increasingly pervasive part of our lives, there’s growing interest and concern on how they are affecting society, the economy, and politics. Yet, most social ...

Leslie Lamport revolutionized how computers talk to each other. Now he’s working on how engineers talk to their machines. Leslie Lamport may not be a household name, but he’s behind a few of them for ...