2015-colloquium-anandkumar