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

MIT Press recently published Fundamental Proof Methods in Computer Science, a book by Konstantine Arkoudas and David Musser, a professor emeritus of computer science at the Rensselaer Polytechnic ...

Descriptive set theorists study the niche mathematics of infinity. Now, they’ve shown that their problems can be rewritten in the concrete language of algorithms.

The goal of this topics course is to study the foundations of different types of logics used commonly in artificial intelligence. Logic forms the basis for many types of reasoning used by humans – ...

Overview of digital logic design. Implementation technologies, timing in combinational and sequential circuits, EDA tools, basic arithmetic units, introduction to simulation and synthesis using ...

India’s reliance on jugaad in computing leads to fragile, unreliable systems. True progress requires rigorous computer ...

George Boole would be 200 years old today. And, had he lived, he would have seen the amazing influence of his mathematical work on today's computer-reliant society. Boole become a renowned ...

From satellite debris to artificial intelligence, double major students find research success by combining expertise in computer science and economics.