CS-428: Interactive theorem provingA hands-on introduction to interactive theorem proving, computer-checked mathematics, compiler verification, proofs as programs, dependent types, and proof automation.
Come learn how to write compute
ME-474: Numerical flow simulationThis course provides practical experience in the numerical simulation of fluid flows. Numerical methods are presented in the framework of the finite volume method. A simple solver is developed with Ma
BIO-689: Nature, In Code - Biology in JavaScriptNature, In Code teaches basic biological principles - such as natural selection, epidemics, the evolution of cooperation - by implementing those priciples in the programming language JavaScript. The c
