Alumnus Receives 2012 Simons Graduate Fellowships in Theoretical Computer Science
Christopher Beck (BS '09 Computer Science and Mathematics) is a recipient of a 2012 Simons Graduate Fellowship. The fellowships are given to graduate students in theoretical computer science with outstanding track records of research accomplishments. Beck’s work seeks to establish the limits of how efficiently we can solve computational problems. One of his papers studies a popular class of algorithms known as SAT solvers and shows that if their memory is restricted, then they can require exponential running time. Another result concerns how well we can approximately sample from certain distributions when our computation must be small depth, that is, highly parallelizable. Beck and his co-authors showed that even exponentially large bounded depth circuits cannot sample with even exponentially small success from a certain simple distribution.
Reconsidering the Global Thermostat
Doug MacMartin, Senior Research Associate in Computing and Mathematical Sciences, and colleagues have shown that the outcome of geoengineering can be tunable. Geoengineering is the concept of how the planet's climate could be manipulated to counteract the effects of global warming. Using computer modeling, they have shown that varying the amount of sunlight deflected away from the earth by season and by region can significantly improve the parity of the situation. [Caltech Release]
Caltech Welcomes Professor Chandrasekaran
Venkat Chandrasekaran, Assistant Professor of Computing and Mathematical Sciences, arrived at Caltech in early September 2012. His area of research is mathematical optimization. He describes, "Almost anything we wish to do in engineering design is about maximizing objectives subject to certain constraints—trading off different aspects of a system to optimize a few others. For instance, if you work in jet-engine design, you have certain constraints in the amount of material you can use, the weight of these materials, aerodynamic issues, etc. But then you want to be able to design your wings and so on in such a way that you maximize, for example, how fast you are able to go. My specific focus deals with trying to look at optimization problems that (a) are tractable to solve—not all optimization problems are ones that can be efficiently solved on a computer—and (b) arise in the information sciences." [Caltech Release]