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
PHYS-432: Quantum field theory IIThe goal of the course is to introduce relativistic quantum field theory as the conceptual and mathematical framework describing fundamental interactions such as Quantum Electrodynamics.
PHYS-424: Plasma IIThis course completes the knowledge in plasma physics that students have acquired in the previous two courses, with a discussion of different applications, in the fields of magnetic confinement and co