Search Bowers

I am interested broadly in connections between logic, computation, and mathematics. My current research interests include: Type theory Theory and applications of proof assistants Computer-aided verification and deduction Constructive Logic Category Theory Computational mathematics

The Computer Science Minor equips students from all majors with essential computing skills that enhance their primary field of study. This versatile program provides theoretical foundations in information and computation, preparing students for diverse academic and professional paths—from arts and humanities to law and engineering.