CS-358: Making intelligent thingsThe course aims at teaching the prototyping of intelligent physical artifacts. It aims to solve real-world challenges by a combination of microcontroller programming, electronics, and computer -aided
CS-422: Database systemsThis course is intended for students who want to understand modern large-scale data analysis systems and database systems. It covers a wide range of topics and technologies, and will prepare students
CS-449: Systems for data scienceThe course covers fundamental principles for understanding and building systems for managing and analyzing large amounts of data.
CS-458: The GC maker projectThe GC Maker Project is an interdisciplinary project course where students work in teams towards solving real-world challenges by leveraging geometric computing methods and digital fabrication technol
CS-490: Business design for IT servicesIn this course, students practice designing digital business services. The students learn to apply the principles of technical sales while developing their own projects. Through this process, students
CS-626: Evolution of Storage SystemsThis discussion-based class will focus on how storage systems have evolved over time. We will cover topics such as persistent memory, CXL, and disaggregated storage systems. At the end of the class,
CS-628: Interactive Theorem Proving CSA hands-on introduction to interactive theorem proving, proofs as programs, dependent types, and to the Coq proof assistant. Come learn how to write bug-free code!