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 ...

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.

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 ...

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 ...

Three faculty members from Johns Hopkins University have been named 2026 Sloan Research Fellows by the Alfred P. Sloan ...

Transformational technologies like artificial intelligence and machine learning profoundly impact the legal landscape, both in terms of how computation is changing legal systems and law practice and ...

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 ...