David I. Spivak MIT Mathematics（大卫·斯皮瓦克。麻省理工学院数学）.pdf

David I. Spivak Massachusetts Institute of Technology Phone: (510) 684-6425 Department of Mathematics Email: dspivak@ Cambridge, MA 02139 Homepage: /dspivak Education Ph.D. Mathematics, University of California, Berkeley, 2007. Advisor: Peter Teichner. Thesis title: Quasi-smooth derived manifolds. B.S. Mathematics, University of Maryland, College Park, 2000. Employment MIT (Mathematics): Research scientist. Spring 2013 – Present. MIT (Mathematics): Postdoctoral associate. Spring 2010 – Spring 2013. University of Oregon (Mathematics): Paul Olum Visiting Assistant Professor. Fall 2007 – Spring 2010. University of Oregon (Computer and Information Sciences): guest instructor. Spring 2008, Fall 2008. University of California, Berkeley (Mathematics): Graduate Student Instructor. 2001 – 2005, 2006 – 2007. University of California, Berkeley (Mathematics): Graduate Student Researcher. 2005 – 2006. University of Maryland, College Park (Mathematics): Strauss Teaching Assistant. 1999 – 2000. Grants Current As Principal Investigator Air Force Office of Scientific Research (AFOSR) grant FA9550-14-1-0031, “Categorical Approach to Agent Interaction”, in the amount of $180,000 per year for 5 years (2013/12 – 2018/12). National Science Foundation (NSF) grant 1611699, “I-Corps: Solving Information-Integration Problems Using Category Theory, in the amount of $50,000 for 6 months (2016/01 – 2016/06). As Co-PI National Aeronautics and Space Administration (NASA) grant NNH13ZEA001N, “Category-theoretic Approaches for the Analysis of Distributed Systems”, in the amount of $100,000 per year for 3 years (2014/06 – 2017/05). David I. Spivak