Learn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and
fundamental software construction concepts (reusability, abstr ...
The decisions that life science engineers make can have profound impacts on other people, on society, and on the environment. It is important, therefore, to be aware of the potential effects of decisions, and to have a set of ethical principles and analyt ...
Ce cours en hydrologie urbaine aborde la gestion de l'eau urbaine d'un point de vue global, incluant notamment les impacts des rejets pluviaux sur les milieux récepteurs. Des solutions concrètes de gestion des eaux en ville sont présentées, en lien avec le ...
The course traces the recurring reemergence of a rational approach in design and building form throughout the history of Western architecture, from the Middle Ages to the late 20th century. ...
P-adic numbers are a number theoretic analogue of the real numbers, which interpolate between arithmetics, analysis and geometry. In this course we study their basic properties and give various applications, notably we will prove rationality of the Weil Ze ...