The Vafa–Witten theorem is named after Cumrun Vafa and another person who is a professor at what school?
Edward Witten Edward Witten ( ; born August 26, 1951) is an American theoretical physicist and professor of mathematical physics at the Institute for Advanced Study in Princeton, New Jersey.
Roger Horn Roger Alan Horn is an American mathematician specializing in matrix analysis. He is a professor of mathematics at the University of Utah. He is known for formulating the Bateman–Horn conjecture with Paul T. Bateman on the density of prime number values generated by systems of polynomials. His books "Matrix Analysis" and "Topics in Matrix Analysis", co-written with Charles R. Johnson, are standard texts in advanced linear algebra.