Reversible computation is a paradigm where every computational step is inherently invertible, thereby enabling systems to retrace their execution history without loss of information. This concept has ...

Moore’s Law, the observation that integrated circuits halve in size every two years, has been good to us. Prices for computers have dropped precipitously over the last few decades, even as their power ...

Fundamental concepts in the design of computer programs, emphasizing the crucial role of abstraction. The goal of the course is to give students insight into the difference between programming and ...