A course on abstract interpretation [1], taught by Radhia [2] and Patrick [2] Cousot at ENS in 1989. To my shame, I must admit that I didn't appreciate it at the time.
Very close to my experience, the most challenging course I had was "Semantics" during the 2nd year of Magistère. To this day I'm not sure I fully understand what I was taught during that course.