대니얼 잭슨(컴퓨터 과학자)

Daniel Jackson (computer scientist)
대니얼 잭슨
모교
직업컴퓨터 과학자
로 알려져 있다.경량 형식 방법 및 알로이 사양 언어
과학 경력
기관매사추세츠 공과대학교
박사학위 자문위원존 구타그

다니엘 잭슨(Daniel Jackson, 1963년 출생)은 매사추세츠 공과대학교(MIT)의 컴퓨터 사이언스 교수다.그는 합금 모델링 언어의 주요 디자이너로, 소프트웨어 추상화: 논리, 언어, 분석의 저자다.[1]

전기

잭슨은 1963년 영국 런던에서 태어났다.[2]그는 1984년에 MA를 받으며 옥스퍼드 대학에서 물리학을 공부했다.MA를 마친 후, 잭슨은 로지카 UK 주식회사에서 소프트웨어 엔지니어로 2년 동안 일했다.그 후 학계로 돌아와 MIT에서 컴퓨터 과학을 공부했으며, 1988년에는 SM, 1992년에는 박사학위를 받았다.잭슨은 박사학위 수료 후 1997년까지 재직했던 카네기멜론대학 컴퓨터과학부 조교수 자리에 올랐다.[3]1997년부터 MIT 전기공학과 컴퓨터공학부 교수로 재직하고 있다.2017년에 그는 컴퓨터 기계 협회의 회원이 되었다.[4]

잭슨은 또한 사진작가로서 직선적인 사진 스타일에 관심이 있다.MIT 박물관은 2012년 5월부터 12월까지 베레니스 애보트의 이미지 전시와 함께 전시된 MIT 실험실 사진 시리즈를 그에게 의뢰했다.잭슨은 소프트웨어 공학 연구원 마이클 A의 아들이다. 잭슨 [5]구조 프로그래밍(JSP), 잭슨 시스템 개발(JSD), 문제 프레임 접근의 개발자 잭슨.

리서치

잭슨의 연구는 대체로 소프트웨어의 신뢰도를 향상시키는 것에 관심이 많다.그는 가벼운 형식적인 방법을 지지하는 사람이다.[6]잭슨과 그의 제자들은 경량 사양과 모델링 작업을 지원하기 위해 알로이 언어와 관련 알로이 분석기를 개발했다.[7]

2004년과 2007년 사이에 잭슨은 신뢰할 수 있는 시스템에 대한 다년간의 미국 국립 연구 위원회 연구를 주재했다.[8]

선택한 게시물

  • Jackson, Daniel; Thomas, Martyn; Millett, Lynette I., eds. (May 2007). Software for Dependable Systems: Sufficient Evidence?. Washington, DC: The National Academies Press. ISBN 978-0-309-10394-7.
  • Jackson, Daniel (April 2006). Software Abstractions: Logic, Language, and Analysis. Cambridge, MA: MIT Press. ISBN 978-0-262-10114-1. Retrieved 10 January 2009.
  • Jackson, Daniel (June 2006). "Dependable Software by Design". Scientific American. 294 (6): 68–75. Bibcode:2006SciAm.294f..68J. doi:10.1038/scientificamerican0606-68. PMID 16711362.
  • Jackson, Daniel (April 2002). "Alloy: A Lightweight Object Modelling Notation" (PDF). ACM Transactions on Software Engineering and Methodology. 11 (2): 256–290. CiteSeerX 10.1.1.12.4127. doi:10.1145/505145.505149. S2CID 5683166.

참조

  1. ^ Jackson, Daniel (April 2006). Software Abstractions: Logic, Language, and Analysis. Cambridge, MA: MIT Press. ISBN 978-0-262-10114-1. Retrieved 10 January 2009.
  2. ^ Jackson, Daniel. "DANIEL JACKSON". Straight Photography by Daniel Jackson. Archived from the original on 13 November 2007. Retrieved 9 January 2009.
  3. ^ "Prof. Daniel Jackson". CSAIL Software Design Group. Archived from the original on 9 August 2012. Retrieved 9 January 2009.
  4. ^ Cacm Staff (March 2017), "ACM Recognizes New Fellows", Communications of the ACM, 60 (3): 23, doi:10.1145/3039921, S2CID 31701275.
  5. ^ Jackson, Daniel. "Daniel Jackson". CSAIL Faculty Pages. Retrieved 9 January 2009.
  6. ^ Jackson, Daniel; Wing, Jeannette (April 1996). Saiedian, Hossein (ed.). "An Invitation to Formal Methods : Lightweight Formal Methods". IEEE Computer. 29 (4): 16. doi:10.1109/MC.1996.488298. S2CID 15230509.
  7. ^ Jackson, Daniel (April 2002). "Alloy: A Lightweight Object Modelling Notation" (PDF). ACM Transactions on Software Engineering and Methodology. 11 (2): 256–290. CiteSeerX 10.1.1.12.4127. doi:10.1145/505145.505149. S2CID 5683166.
  8. ^ "Sufficient Evidence? Building Certifiably Dependable Systems". Computer Science and Telecommunications Board. The National Academies. Retrieved 9 January 2009.

외부 링크