For 20 years, this computational linguistics competition has inspired new generations of innovators in AI and language ...

One question in computer science has stood above the rest for decades, resisting every attempt to settle it despite its ...

Creative problem solving and human-centered design remain at the heart of computer science as AI handles the repetitive tasks of the past.

Quantum computers could solve certain problems that would take traditional classical computers an impractically long time to solve. At the Japan Advanced Institute of Science and Technology (JAIST), ...

From John von Neumann’s universal machine to John Nash’s insight into computation, this video explores how computer scientists began measuring problems by the number of steps a machine must take as ...

Venture capitalist Jon McNeill foresees growing demand for humans to sustain complex AI infrastructure and architecture.

In January middle school and high school students at more than 200 host sites across the U.S. and parts of Canada competed in the North American Computational Linguistics Open Competition (NACLO), ...

Seventeen-year-old Vishnu Kannan’s love for math and problem solving led him to become the founder of a tech startup, which ...

What once took up the entire space in IBM’s lab in the 60’s, now fits on a chip. With tech. breakthroughs, it’s been about the how and when — as will quantum on a chip.

We offer a flexible option that provides both the foundations of computer science with space for a second major or minor, like mathematics, business management, data analytics or physics. In the field ...

In the era of A.I. agents, many Silicon Valley programmers are now barely programming. Instead, what they’re doing is deeply, ...

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.