Pew Research Center is committed to meeting the highest methodological standards — and to exploring the newest frontiers of research. Learn more about the methods the Center uses to conduct objective, ...

My general research interests are in the logic, semantics, and implementation of programming languages. In particular, I am interested in using logic to help design and verify that software systems ...

Researchers recently published findings that could lay the groundwork for applying quantum computing methods to protein structure prediction. Researchers from Cleveland Clinic and IBM recently ...

The field of geodesic methods in computer graphics and geometry is dedicated to the efficient computation of shortest paths and distances on curved surfaces, typically represented as triangulated ...

The Computer Science and Engineering MS program offers students a comprehensive grasp of cutting-edge industry subjects while equipping them to engage in fundamental and applied research in computer ...

Majid Zamani, an assistant professor in the Department of Computer Science at CU Boulder, wants to use real-life data, rather than mathematical models, to study and control autonomous systems with ...