마이클 슐먼(수학)

Michael Shulman (mathematician)
마이클 슐먼
태어난1980년(41~42)
캘리포니아 주 로스앤젤레스
학력
모교캘리포니아 공과대학교
시카고의 대학교
박사학위 자문위원J. 피터 메이
학술사업
규율범주론
호몰로지 대수
호모토피형 이론
기관샌디에이고 대학교
고등연구연구소

마이클 "마이크" 슐먼(Michael "Mike" Shulman,/1980년 출생)은 샌디에이고[1] 대학교의 미국 수학 부교수로서 카테고리 이론과 상위 카테고리 이론, 호모토피 이론, 세트 이론에 적용되는 논리학, 컴퓨터 과학 분야에서 일하고 있다.

일

슐먼은 캘리포니아 공과대학에서 학부과정을 거쳐 케임브리지대학과 시카고대학에서 대학원과정을 거쳐 2009년 박사학위를 받았다.

그의 박사 논문과 그 이후의 연구는 호모토피 이론에 대한 범주 이론의 적용을 다루었다.

2009년에는 국립과학재단 수학과학 포스트닥터럴 연구 펠로우십을 받았다.[2]

2012-13년에는 고등연구소의 방문학자로 수학의 독창적인 기초에 관한 특별연도의 공식 참가자 중 한 명이었다.[3][4]슐먼은 호모토피형 이론의 주요 저자들 중 한 명이었다. 수학의 단발적 기초,[5] 단발적 기초와 호모토피형 이론의 기초에 대한 비공식적인 설명.[6]2014년 슐먼은 스티브 어워디가 이끄는 팀의 일원으로, 호모토피 타입 이론으로 공군 연구소에서 750만 달러의 보조금을 받았다.[7]

블로그

슐먼은 600페이지에 달하는 호모토피형 이론서가 주목할 만한 예라고 할 수 있는 수학자들의 공동 작업을 촉진하기 위해 GitHub와 같은 웹 기반 소프트웨어 시스템을 사용하는 것을 지지하고 있다.그는 nLab[8](및 운영위원[9])에 다작의 공헌자로 호모토피 타입 이론 블로그와[10] 상위 카테고리 이론에 초점을 맞춘 블로그인 n-Category Cafe의 공동주최자다.[11]

선택한 게시물

  • 마이클 슐먼; 2006년 5월 31일 합성 미분 기하학
  • 다니엘 리카타와 마이클 슐만; 호모토피 타입 이론에서 원의 기본 그룹 계산 2013년 1월 15일.
  • 베네딕트 아렌스, 크리스 카풀킨, 마이클 슐만; 유니벌런트 카테고리 및 레즈크 2013년 3월 4일 완성
  • Michael Shulman – Cambridge Journals 특별호: 유형 이론과 호모토피 이론에서 수학의 단일한 기초; 역도 및 호모토피 카노니티를 위한 단일성, 2013년 11월 23일.
  • John C. Baez와 Michael Shulman; n-categories와 cohomology In에 대한 강의Baez, John C.; May, J. Peter, eds. (2009). Towards Higher Categories. Springer. ISBN 978-1441915238.

참조

  1. ^ "Michael Shulman, PhD". University of San Diego. Retrieved March 24, 2021.
  2. ^ 마이클 슐먼(Michael Shulman) 수학교육원 페이지
  3. ^ "Michael Shulman". Institute for Advanced Study: A Community of Scholars.
  4. ^ "IAS Program Participants Members". IAS school of mathematics: Univalent Foundations of Mathematics.
  5. ^ "HoTT/book Contributions to master, excluding merge commits". GitHub.
  6. ^ Shulman, Mike (20 June 2013). "The HoTT Book". The n-Category Café.
  7. ^ "Press Release: Carnegie Mellon Awarded $7.5 Million Department of Defense Grant To Reshape Mathematics". Carnegie Mellon University. 28 April 2014.
  8. ^ "nLab Authors".
  9. ^ nLab: 운영 위원회
  10. ^ 호모토피형 이론 블로그
  11. ^ 슐먼이 n-Category Cafe 블로그에 게시

외부 링크