존 C. 미첼

John C. Mitchell
이 기사는 컴퓨터 과학자에 관한 것이다.작가, 배우, 감독은 존 카메론 미첼을 참고하세요.스코틀랜드의 조경 예술가는 존 캠벨 미첼을 참고하세요.
존 클리포드 미첼
John Mitchell, Vice Provost for Online Learning.jpeg
과학 경력
기관스탠퍼드 대학교
벨 연구소
매사추세츠 공과대학[1]
학술 어드바이저앨버트 R.마이어[2]
박사과정 학생바네사 티그
웹 사이트theory.stanford.edu/people/jcm

존 클리포드 미첼은 스탠포드 대학의 컴퓨터 공학과 교수이며 (예의상으로는) 전기 공학 교수입니다.그는 프로그래밍 언어 이론과 컴퓨터 [1][2][3][4][5][6]보안 분야에서 출판했다.

John C. Mitchell은 Stanford University에서 교육 및 학습을 위한 부프로비스트, Stanford University 컴퓨터 공학과 전기공학과 Mary and Gordon Crary 패밀리 교수, Stanford Computer Security Lab 공동 디렉터 [7][8]및 교육학과 교수(예우)였습니다.그는 스탠포드 대학의 사이버 이니셔티브 운영 위원회의 멤버입니다.Mitchell은 2012년부터 스탠포드 대학의 부교수로 재직하고 있습니다.처음에는 온라인 학습의 부교수로 취임한 후, 현재는 교육과 학습의 폭넓은 역할을 담당하고 있습니다.Mitchell의 지도 아래 VPTL(Vice Provost for Teaching and Learning) 사무소는 교수진 주도의 이니셔티브와 연구를 통해 교육과 학습을 발전시키고 스탠포드 강의실 및 그 이후의 교육 환경을 변화시키고 있습니다.

온라인 학습에 관한 Mitchell의 첫 번째 연구 프로젝트는 2009년 그와 6명의 학부생들이 대화형 비디오와 토론을 지원하는 혁신적인 플랫폼인 Stanford CourseWare를 구축하면서 시작되었습니다.CourseWare는 스탠포드의 초기 뒤집기 교실 실험의 기초가 되어 2011년 스탠포드의 첫 번째 대규모 오픈 온라인 코스(MOOC)에 영감을 주었습니다.

온라인 학습 담당 부사장실은 Mitchell이 John L.로 근무한 후 2012년 8월에 설립되었습니다.스탠포드 대학의 제10대 총장인 헤네시는 교육 테크놀로지 담당 특별 어시스턴트로, 스탠포드의 초기 우선 순위를 정하고 공개 온라인 코스의 지적 재산 가이드라인을 작성한 교직원 위원회의 의장을 맡았습니다.

교직원의 경험과 온라인 자료의 카탈로그를 구축하기 위해 부프로보스트 미첼은 2012년 여름 [9]교직원의 시드 조성 프로그램을 시작했습니다.이 프로그램을 통해 캠퍼스 전체의 교수들이 스탠포드 캠퍼스 코스를 전환하고 퍼블릭 코스를 전 세계에 공개하는 데 도움이 되었으며,[10][11][12][13] 그 과정에서 교수들 간에 정보에 근거한 토론과 토론이 이루어졌습니다.

VPTL 엔지니어링 팀은 디지털 코스 콘텐츠 제공 지원과 더불어 스탠포드의 edX 플랫폼 오픈 소스 릴리스 인스턴스인 Lagunita의 기능을 확장하기 위해 노력하고 있습니다.Mitchell과 그의 팀은 edX와 협력하여 2013년 6월에 Open edX를[14] 발표했습니다. 오픈 소스 호스팅 플랫폼은 모든 대학에 맞춤형 대안을 제공하고 개방형 교육 연구와 [15][16]혁신을 지원합니다.

스탠포드의 온라인 강좌는 물론 참가자 데이터를 풍부하게 만들어 내고 있습니다.VPTL은 Lytics Lab,[17] 미첼 교육대학원의 Mitchell Stevens 및 Candace Thille 등의 스탠포드 장학센터와 협력하여 데이터 중심 연구 및 반복 설계를 기반으로 교육 성과를 평가하고 온라인 학습을 개선하는 데 중요한 역할을 수행하고 있습니다.

2014년 5월, Mitchell의 팀은 벤치마크 정보를 다른 고등 교육 기관과 공유하기 위한 포괄적인 보고서를 발표했습니다.

미첼은 스탠포드 대학에서 학사 학위를, 매사추세츠 공과대학(MIT)에서 석·박사 학위를 취득했습니다.그는 10개 학술지의 편집이사회에서 활동했으며, 수많은 회사의 컨설턴트 및 고문으로 활동했으며, Newton Institute for Mathematical Science and Coverity, Inc.에서 안식년을 보냈습니다.미첼은 170편이 넘는 연구 논문을 쓴 두 권의 저자로 컴퓨터 과학 [18]분야에서 가장 많이 인용되는 학자들 중 한 명이다.

조사.

고든 플로트킨과 함께 그는 실존적 유형과 추상적 데이터 유형 사이의 연관성에 [19]주목했다.

미첼의 초기 컴퓨터 과학 연구는 프로그래밍 분석과 설계에 초점을 맞췄고, 그는 프로그래밍 언어의 기초로서 유형 이론을 개발하는 데 중추적인 역할을 했습니다. 이 관점은 현재 이 분야에서 지배적입니다.지난 15년 동안 그의 연구는 컴퓨터 보안, 분석 방법 개발 및 네트워크 프로토콜 보안, 허가 및 액세스 제어, 웹 보안 및 개인 정보 보호에 초점을 맞추었습니다.

Mitchell은 10년 이상 웹 및 네트워크 보안 연구 및 교육에 앞장서 왔으며, 수천 명의 프로그래밍 언어 학생과 수백 명의 사이버 보안 분야에서 전문가 수준의 전문가 교육을 지원해 왔습니다.그의 노력은 널리 사용되는 Java 프로그래밍 언어에 사용되는 개념의 개발, 널리 사용되는 무선 네트워킹 프로토콜의 보안 향상, 크롬 브라우저 및 현대 웹의 기타 구성 요소의 보안 아키텍처에 기여하는 결과를 가져왔다.

2012년 8월, 미첼은 스탠포드 총장 John L.에 의해 임명되었습니다. Hennessy는 스탠포드의 온라인 학습 이니셔티브를 감독하는 신설된 직책인 온라인 학습 담당 부사장입니다.

레퍼런스

  1. ^ a b ACM 디지털 라이브러리의 John C. Mitchell 작가 프로필 페이지
  2. ^ a b 수학 계보 프로젝트의 존 클리포드 미첼
  3. ^ Gunter, Carl A.; Mitchell, John C. (1994). Theoretical Aspects of Object-Oriented Programming. The MIT Press.
  4. ^ Mitchell, John C. (1996). Foundations for Programming Languages. The MIT Press.
  5. ^ Mitchell, John C. (2002). Concepts in Programming Languages. Cambridge University Press.
  6. ^ DBLP 서지 서버의 John C. Mitchell 씨
  7. ^ "Report of the President: Academic Council Professoriate appointments". Stanford University. October 14, 2013.
  8. ^ "Stanford takes landmark step in online learning, appoints new vice provost". Stanford University. August 30, 2012.
  9. ^ "Stanford faculty is embracing online teaching opportunities". Stanford News. Stanford University. July 17, 2012. Retrieved October 28, 2014.
  10. ^ "Seed grants enable new online courses for Stanford students". Stanford News. Stanford University. January 14, 2013. Retrieved October 28, 2014.
  11. ^ "Stanford seed grants for online learning highlight international collaboration". Stanford News. Stanford University. June 25, 2013.
  12. ^ "Six seed grants awarded Spring 2014". Stanford Online. Stanford University. September 3, 2014.
  13. ^ "New Seed Grant Program Announced for the 2014-2015 Academic Year". Stanford Online. Stanford University. October 27, 2014.
  14. ^ "OpenEdX". Stanford Online. Stanford University. Archived from the original on 2015-11-08.
  15. ^ "Stanford online coursework to be available on new open-source platform". Stanford News. Stanford University. June 11, 2013.
  16. ^ "Stanford to collaborate with edX to develop a free, open source online learning platform". Stanford News. Stanford University. April 3, 2013.
  17. ^ "Lytics Lab". Lytics Lab. Stanford University.
  18. ^ "Biography: John Mitchell, Vice Provost for Online Learning". Office of the Vice Provost for Online Learning. Stanford University. Archived from the original on 2014-10-29.
  19. ^ Mitchell, J. C.; Plotkin, G. D. (1988). "Abstract types have existential type". ACM Transactions on Programming Languages and Systems. 10 (3): 470. doi:10.1145/44501.45065. S2CID 1222153.