August 1, 2013

Venkat Chandrasekaran receives Young Researcher Prize

LIDS alum (now assistant professor at Caltech) Venkat Chandrasekaran received the Young Researcher Prize in Continuous Optimization at the Fourth Mathematical Optimization Society International Conference on Continuous Optimizat

May 29, 2013

How computers can learn better

Reinforcement learning is a technique, common in computer science, in which a computer system learns how best to solve some problem through trial-and-error.

May 1, 2013

Valuing versatility

It’s often said that we live in an age of increased specialization: physicians who treat just one ailment, scholars who study just one period, network administrators who know just one operating system.

March 19, 2013

Can control theory make software better?

“Formal verification” is a set of methods for mathematically proving that a computer program does what it’s supposed to do.

February 7, 2013

Networks of probability

Devavrat Shah arrived at Stanford University as a graduate student in computer science in 1999, just a few months after a couple of other students in the department, Sergey Brin and Larry Page, received $25 million in financing for a company that they’d started in a friend’s garage, which they

January 20, 2012

Speed limit for birds

The northern goshawk is one of nature’s diehard thrill-seekers. The formidable raptor preys on birds and small mammals, speeding through tree canopies and underbrush to catch its quarry.