Bachelor in Logic, Information, and Computation

The Logic, Information, and Computation Program offers students the opportunity to engage in a systematic, integrative study within the School of Arts and Sciences. The logic remains one of the core disciplines in investigations of information and computation. Indeed, logic plays a major role in advances in computer security, database technology, networking, and software engineering. Moreover, logic has expanded its role within mathematics beyond foundational studies and now enjoys rich connections with diverse areas as algebra, analysis, and combinatorics. In light of the current importance of the investigation of computation and information from a scientific, as well as from a technological point of view, the Major and Minor in Logic, Information, and Computation will provide students with a strong background to pursue computational aspects of the natural, biological, and social sciences, as well as preparing them for careers in information technology.