A State College-area high school student will return home from spring break with a major research prize under his belt.

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

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.

New research was motivated by "high-potential societal impacts" of successfully disabling autonomous drones, a study author ...

Florida International University (FIU) researchers have developed a quantum-safe encryption system designed to protect digital content from the next generation of cyberattacks.

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

Photocatalysis promises an efficient conversion of abundant solar energy into usable chemical energy. Polyheptazine imides ...

Four NYU assistant professors each won $75,000 to complete a two-year research project after being named Sloan Research ...

The University of Toronto's department of computer science and AMD, a global leader in high-performance computing, have ...

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