NX-599: Master project in Neuro-XStudents apply the scientific and technical knowledge they have acquired during their studies to a research case study in
an independent way.
ChE-312: Numerical methodsThis course introduces students to modern computational and mathematical techniques for solving problems in chemistry and chemical engineering. The use of introduced numerical methods will be demonstr
CS-550: Formal verificationWe introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to u
AR-402(a): Studio MA2 (Vigano)Is it conceivable to question the very presence of highways in urban environments? What potential for requalification does this space, with its unique characteristics, offer?