This program draws on faculty and courses in computer and information science, linguistics, mathematics and philosophy to offer students a systematic and integrative approach to the study of pure and applied logic, including the applied mathematics of information and computation. The program will provide students with a strong background to pursue computational aspects of the natural, biological, and social sciences, as well as prepare them for careers in information technology.