CS-305: Software engineeringThis course teaches the basics of modern software development: designing software, working in a team, writing good code, shipping software, and evolving software. It emphasizes building software that
EE-583: Spacecraft avionics architecturesThe course presents and analyses the different systems, architectures and components of spacecraft avionics (on board data handling and processing systems) controlling and commanding spacecraft and pa
CIVIL-237: Safety and reliabilityCe cours comporte les notions de sécurité ainsi que les mesures à prendre pour maîtriser des situations de danger relatives aux structures. La modélisation des actions et les principes de vérification
CS-602: Foundation of probabilistic proofsProbabilistic proof system (eg PCPs and IPs) have had a tremendous impact on the theoretical computer science, and have also found practical uses. They underlie delegation of computation protocols and
ENG-421: Fundamentals in systems engineeringIntroduction to systems engineering using the classical V-model. Topics include stakeholder analysis, requirements definition, concept selection, design definition and optimization, system integration
