1. Department of Mathematics, Stanford University, Stanford, CA, USA
2. Georgia Tech Research Institute, Atlanta, GA, USA
3. Topos Institute, Berkeley, CA, USA
4. Computer and Information Science and Engineering, University of Florida, Gainesville, FL, USA