The team's automated reasoning research aims to build algorithms that allow computers to perform logical reasoning. The output of these algorithms is traditionally binary: satisfiable or unsatisfiable ...

Event highlights faculty studies on AI’s role in education, and AI-driven research in fields ranging from oncology to visual arts ...

Erdos, explores what researchers call autoformalization, the process of converting traditional mathematical proofs into formats machines can verify using tools such as Lean and Coq.

Faculty members in the department are actively engaged in research in the areas listed below. There are many opportunities for both undergraduate and graduate students to participate in these ...

The Picker Interdisciplinary Science Institute (Picker ISI) has announced this year’s awards supporting interdisciplinary research, training, and student-centered scholarship at Colgate. The funded ...

On Feb. 20, the Center for Human-Computer Interaction + Design convened an interdisciplinary group to discuss the validity and trustworthiness of social and behavioral data simulated by large language ...

What are some underdeveloped areas in computer science research right now (2018)? originally appeared on Quora: the place to gain and share knowledge, empowering people to learn from others and better ...

A Women in Tech Code-A-Thon in San Francisco this April. Big technology companies are facing increasing pressure to address workplace issues like sexual harassment and a lack of representation by ...