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

The AI Research and Collaboration Hub (ARCH) at UAB Computer Science is a group of faculty conducting cutting-edge research in artificial intelligence and machine learning and fostering ...

Since its release in November of 2022, the use of ChatGPT and other large language models (LLMs) has proliferated throughout many disciplines, providing writing assistance for everything from speeches ...

Computer science has long operated on a foundation of trust: researchers publish findings, peers verify them, and the field advances one credible paper at a time. That system is now under serious ...

Faculty in the area of bioinformatics and computational biology apply computational methodologies such as databases, machine learning, discrete, probabilistic, and numerical algorithms, and methods of ...

The Computer Science department conducts research in a wide range of fields. Currently, we have labs actively engaged in the following areas: Artificial Intelligence, Shape Modeling, Data Mining, ...

The Department of Computer Science Undergraduate Research Scholarship provides research opportunities to Computer Science undergraduates, motivating creative activities and preparing them for graduate ...

A solution to P vs NP could unlock countless computational problems—or keep them forever out of reach. 1. On Monday, July 19, 2021, in the middle of another strange pandemic summer, a leading computer ...

Looking back on their experience in Northwestern Computer Science’s two-quarter course sequence, COMP_SCI 298: Introduction to Research Track and COMP_SCI 398: Research Track Practicum, Rachana Aluri ...

Adobe Research, the company’s team of research scientists and engineers shaping early-stage ideas into innovative technologies, has donated $250,000 to Northwestern Engineering’s Department of ...

Miami University Department of Computer Science and Software Engineering assistant professor Yang Zhang is spearheading research in data compression and has earned a major grant for it. He is the lead ...