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

Scientists introduce what they call 'simultaneous and heterogeneous multithreading' or SHMT. This system doubles computer processing speeds with existing hardware by simultaneously using graphics ...

The Master of Computer Science program offers a comprehensive approach to the theory and application of computer science. After completing this program, you will have: A thorough grounding in the ...

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