Suppose Alice and Bob are spies collaborating on the same project. But they live in different cities and have never met. Worse, their enemy Eve has access to all the messages they send to each other. Is it possible for Alice and Bob to talk with each other and still manage to keep their conversation top-secret? Miraculously, the answer is yes! In 1976, Diffie and Hellman came up with an ingenious way to do precisely this, and created the field of "public-key" cryptography, which is essential to almost every communication that takes place on the internet. In this class, we'll learn about their beautiful protocol, a foundational encryption algorithm and the first public-key encryption system to be published.

You might know 1+1=2, but have you ever wondered why it isn't equal to 3? How about what all those strange backwards E's and upside down A's mean? Come learn about the the foundations of formal mathematical logic and learn how to prove why anything is true! We'll cover the basics of propositional logic, truth tables, and set theory.

GitHub is a popular platform that allows you to collaborate with others on projects. It is also a great tool for efficient version control. This course teaches the basics of getting started with GitHub.