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!
ENV-542: Advanced satellite positioningAll fundamental principles behind modern satellite positioning to acquire, track and evaluate direct and indirect satellite signals and process them in relation to example applications: Earth monito
HUM-485: Data in context: Critical Data Studies ILe cours "Critical Data Studies" s'inscrit dans la nouvelle offre d'enseignements TILT qui propose de croiser des savoirs provenant des SHS et des sciences de l'ingénieur afin d'aborder des thématique
MGT-411: Innovation managementThis is a collection of lectures on "structured innovation systems," codified approaches to stimulating and managing the process of innovation. Some of the systems to be covered may be Design Thinking
CS-322: Introduction to database systemsThis course provides a deep understanding of the concepts behind data management systems. It covers fundamental data management topics such as system architecture, data models, query processing and op
AR-628: Transition workshop 2022Focusing on the cricital issues of Geneva's changing landscape, the workshop offers a concise introduction to the issues and dimensions of ecological transition by design at all scales, and a cross-di
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
ENV-610: Ecological economicsThis course is an introduction to economic theory applied to environmental issues. It presents the methods used to assess environmental impacts and natural resources as well as environmental regulatio
CS-306: Software development projectThis course teaches the basics of developing real-world software, i.e., software that is large and complex, is developed by a team, evolves and needs to be maintained, and can cause serious harm if it