Mathematical thinking is crucial in all areas of computer science: algorithms, bioinformatics, computer graphics, data science, machine learning, etc. In this course, we will learn the most important ...

Mathematicians using the computer program Lean have verified the accuracy of a difficult theorem at the cutting edge of research mathematics. Computer proof assistants have been an intriguing subplot ...

Leslie Lamport revolutionized how computers talk to each other. Now he’s working on how engineers talk to their machines. Leslie Lamport may not be a household name, but he’s behind a few of them for ...