CH-634: Chemical Probes for Imaging in BiologyThe goal of this course is to provide an overview on recent developments in the design and synthesis of fluorescent and bioluminescent probes for applications in basic research and medicine. Through t
NX-423: Translational neuroengineeringThis course integrates knowledge in basic, systems, clinical and computational neuroscience, and engineering with the goal of translating this integrated knowledge into the development of novel method
DH-406: Machine learning for DHThis course aims to introduce the basic principles of machine learning in the context of the digital humanities. We will cover both supervised and unsupervised learning techniques, and study and imple
PHYS-727: Physics of BehaviorThis doctoral class will focus on high-dimensional multi-agent behavioral data, modeled based on first principles or with statistical methods.
CS-486: Interaction designThis course focuses on goal-directed design and interaction design, two subjects treated in depth in the Cooper book (see reference below). To practice these two methods, we propose a design challenge
CS-308: Introduction to quantum computationThe course introduces the paradigm of quantum computation in an axiomatic way. We introduce the notion of quantum bit, gates, circuits and we treat the most important quantum algorithms. We also touch
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!
AR-302(am): Studio BA6 (Everaert and Lateur)'Preparing for the apocalypse' takes you to Puglia, where people are confronted with millions of century-old olive trees dying.
In dialogue with local communities, we will explore whether architecture
