Physicists and computer scientists have recently expanded the modern theory of the thermodynamics of computation. By combining approaches from statistical physics and computer science, the researchers ...

Ashutosh Trivedi is an Associate Professor of computer science at the University of Colorado Boulder. His researchinterests lie at the intersection of computer science, control theory, and machine ...

This course gives an introduction to the mathematical foundations of computation. The course will look at Turing machines, universal computation, the Church-Turing thesis, the halting problem and ...

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

Computational logic and formal languages lie at the core of theoretical computer science, unifying the mathematical study of computation with the precise description of symbolic structures. Formal ...

Transformational technologies like artificial intelligence and machine learning profoundly impact the legal landscape, both in terms of how computation is changing legal systems and law practice and ...

Pose a question to a Magic 8 Ball, and it’ll answer yes, no or something annoyingly indecisive. We think of it as a kid’s toy, but theoretical computer scientists employ a similar tool. They often ...

Faculty members in the department are actively engaged in research in the areas listed below. There are many opportunities for both undergraduate and graduate students to participate in these ...

Our newsroom has a good number of humanities concentrators. Writing for fun? Interviewing strangers? Debating whether split infinitives are egregious grammatical errors or a valid style choice? The ...

An introduction to programming using MATLAB. Topics include MATLAB interactive environment, programming basics, MATLAB scripts, functions, vectors, matrices, data analysis, and graphic visualization.