Green Family Lecture Series: “From Gauge Theory to Khovanov Homology Via Floer Theory” by Edward Witten