Caltech computer science also has a unique focus in developing rigorous and robust models of the physical world. These models are mathematically and physically sound, and serve as a basis for graphics and vision research, as well as the simulation of mechanical, optical, and biological systems. A key component of systematic design is a strong theoretical understanding, which provides a basis for synthesis, analysis, and verification. The theory of computation focuses on deep mathematical problems, many of which have substantial technological impact. As such, it has a strong connection to actual practice in each domain.
Computation enables better control and understanding of the physical world.
These are big themes at Caltech. We ve already noted the intimate way in which computer science works with the physical sciences to physically build computations. Computer simulations, modeling, and analysis are now key enablers, allowing all fields of science to advance rapidly. Modern mechanical and aeronautical systems are enabled by vast computational processing for sensing and control. These relations provide many opportunities for scholars in computer science to work closely with colleagues throughout science and engineering at Caltech.