Logic and Computation
Penn offers a wealth of opportunities to pursue research in logic and computation. Within the department, our faculty conduct research on logic and the foundations and philosophy of mathematics (Domotor, Ewald, Weinstein), and on applications of logical and computational techniques to the development of synchronic and diachronic models of individual and collective cognition (Bicchieri, Domotor, Kimbrough, Schneider, Weisberg, Weinstein).
The department enjoys strong connections with Penn’s Logic and Computation Group, which draws faculty from the departments of Computer and Information Science, Electrical Engineering, Linguistics, Mathematics, and Philosophy to participate in collaborative research and educational projects. The department also participates actively in the Logic, Information, and Computation Program, an interdisciplinary undergraduate degree program in Penn’s College of Arts and Sciences.