August 1, 2013
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
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
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
“Formal verification” is a set of methods for mathematically proving that a computer program does what it’s supposed to do.
February 7, 2013
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
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.
