Course Websites

Advanced topics in building and verifying software systems, selected from areas of current research such as: model checking and automated verification, testing and automated test generation, program synthesis, runtime verification, machine learning and its applications in the design of verified systems, formal analysis of machine learning algorithms, principles of programming languages and type systems. Course Information: May be repeated if topics vary. Credit is not given towards a degree from multiple offerings of this course if those offerings have significant overlap, as determined by the CS department. Prerequisite: CS 374 or ECE 374; CS 421. Additional prerequisites or corequisites may be specified each term. See section information.

Technological Foundations of Web3: Digital Assets, Blockchains and Beyond. Description: Web3 is considered the next stage of the internet, built on decentralization and blockchain technology. Web3 is moving away from the current model dominated by large corporations towards a more user-centric and open ecosystem, where users have more control over their data and digital assets. This class will introduce the fundamental concepts that underlie Web3. Starting with basic concepts such as how to calculate hashes, sign transactions, and authenticate signatures, the course will then dive into consensus protocols, verifiable computing and zero-knowledge cryptography, blockchain languages and virtual machines, as well we various incentivization mechanisms for actors in decentralized networks to operate honestly. The students taking this class will also be asked to read papers and blogs and discuss these topics in class, including potentially controversial topics which are of interest to the g