Young Kun-Ko: Hardness Amplification in Two Prover Game and Communication Complexity. Princeton University, USA 2018