마타이 조셉

Mathai Joseph
마타이 조셉
태어난
인도
국적인디언
모교뭄바이 윌슨 칼리지, 봄베이 칼리지, 웨일스 어드밴스트 테크놀로지 칼리지, 케임브리지 대학교
로 알려져 있다.실시간 시스템, 공식 방법
수상2020 Test-of-Time Award[1]
과학 경력
필드컴퓨터 공학
기관타타 기초 연구소 워릭 대학교
박사학위 자문위원데이비드 휠러[2]
저명한 학생패리토시 판디야, 지밍 류

마타이 조셉은 인도의 대표적인 컴퓨터 과학자다.[3]

조셉은 1964년 윌슨 칼리지(Mumbai, 인도, 1962년)에서 물리학 BSC와 뭄바이 대학에서 같은 과목의 MSc를 위해 공부했다.[4] 이후 웨일스 첨단기술대학에서 전자공학 석사학위를 취득하기 위해 공부한 후 데이비드 휠러[2](David Wheeler, 1968년 수상)의 감독 아래 캠브리지의 처칠대학에서 컴퓨터학 박사학위를 받았다.

1968-85년부터 요셉은 타타 기초 연구 연구소(인도 음바이)에서 펠로우 겸 선임 연구 과학자로 프로그래밍에 종사하다가 12년(1985-97년) 동안 영국 워릭 대학교의 컴퓨터 과학 교수가 되었다.[4] 그는 1997년에 인도로 돌아왔다. 그 후, 타타 연구 개발 및 디자인 센터(Pune)에서 상무 이사로, 타타 컨설팅 서비스(1997–2007)에서 상무 부사장으로 업계에 근무했다.

조셉은 카네기-멜론 대학(1980–81), 아인트호벤 공대(1990–92), 워릭 대학(1997–98), 요크 대학(2001–04)의 초빙 교수였다.[4] UNU-IIST 이사회 의장(2004-06, UN대학, 마카오)이었다.[5] 조셉은 ACM의 평의회에 선출된 첫 번째 인도 출신이었다.[6] 게다가 2012년까지 ACM 인도평의회 소속이었다. 그는 2014년까지 ACM 인도 교육 위원회를 이끌었다.

마타이 요셉의 주된 연구 관심사는 실시간 시스템을 포함한 컴퓨터 시스템과 관련된 공식적인 방법의 영역에 있다. 그가 2021년 구글 스콜라에서 1500여 건을 인용한 가장 많이 인용한 논문 '실시간 시스템에서 응답 시간을 찾아라'는 1986년 컴퓨터 저널에 실린 패리토시 판디야와의 공동 작업이었다.[7][8] 본 논문은 제27회 IEEE 실시간 및 임베디드 기술 및 애플리케이션 심포지엄(RTAS 2021)에서 발표한 2020 Test-of-Time Award를 수상했다.[1]

조셉이 지밍 류와 내결함성에 대해 공동 작업을 한 것은 결함, 오류, 고장 및 내결함성의 개념과 그들의 관계를 정밀하게 규정하는 형식적인 모델을 제시한다. 그것은 또한 결함 영향을 받는 프로그램과 결함 방지 프로그램을 변형 측면에서 모델링하는 속성을 제공했다. 그들은 함께 요구사항 명세서 및 분석, 고장 환경 식별 및 분석, 고장 영향을 받는 설계 명세서 및 요구사항 명세서의 만족을 위한 고장 허용 검증에서 고장 허용 시스템에 대한 설계 프로세스를 제안했다.[9][10]

요셉은 인도의 정보 기술 발전과 관련된 이슈들을 도표로 묶은 개인적인 추억인 디지털 리퍼블릭의 저자다.[5][11][12] 그는 인도의 과학 발전에 관심이 있다.[13]

책들

  • Joseph, Mathai; Shyamasundar, R. K., eds. (1984). Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13–15, 1984, Proceedings. Lecture Notes in Computer Science. Vol. 181. Springer-Verlag. ISBN 978-3-540-13883-9.
  • Joseph, Mathai, ed. (1988). Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings of a Symposium, Warwick, UK, September 22–23, 1988. Lecture Notes in Computer Science. Vol. 331. Springer-Verlag. ISBN 978-3-540-50302-6.
  • Joseph, Mathai, ed. (1996). Real-Time Systems: Specification, Verification and Analysis. International Series in Computer Science. Prentice Hall. ISBN 978-0-13-455297-2.
  • Joseph, Mathai (2013). Digital Republic: India's rise to IT power. www.power-publisher.com. Power Publishers. ISBN 978-93-82792-57-4.[12]
  • Joseph, Mathai (2017). Dead to Reason. ASIN: B01N80H1W4. Amazon Kindle.

참조

  1. ^ a b "TCRTS Awards – 2020 Test-of-Time Awards". RTAS 2021: 27th IEEE Real-Time and Embedded Technology and Applications Symposium. May 2021. Retrieved 22 May 2021.
  2. ^ a b 디지털 리퍼블릭 72쪽
  3. ^ Ibaraki, Stephen (27 August 2013). "Chat with Dr. Mathai Joseph: Internationally Renowned Author, Executive, Researcher, and Technology Advisor; Distinguished Computer Scientist". Canadian IT Manager's Blog. blogs.technet.com. Retrieved 25 January 2013.
  4. ^ a b c Ibaraki, Stephen (11 January 2010). "Dr. Mathai Joseph: Renowned Executive, Researcher, Distinguished Scientist shares his deep insights into computing, research, careers, trends". Canadian IT Manager's Blog. blogs.technet.com. Retrieved 25 January 2013.
  5. ^ a b "Former UNU-IIST Board Chair Prof. Mathai Joseph Publishes New Book on India's IT Development". punetech.com. Pune Tech. 2 May 2013. Retrieved 25 January 2014.
  6. ^ "Dr. Mathai Joseph". Microsoft Research. Retrieved 26 January 2014.
  7. ^ "Finding response times in a real-time system". Google Scholar. Retrieved 24 May 2021.
  8. ^ Joseph, Mathai; Pandya, Paritosh (1986). "Finding Response Times in a Real-Time System". The Computer Journal. 29 (5): 390–395. doi:10.1093/comjnl/29.5.390.
  9. ^ Liu, Zhiming; Joseph, Mathai (1992). "Transformation of Programs for Fault-Tolerance" (PDF). Formal Aspects of Computing. 4 (5): 442–469. doi:10.1007/BF01211393. S2CID 16116422.
  10. ^ Liu, Zhiming; Joseph, Mathai (1999). "Specification and Verification of Fault-Tolerance, Timing, and Scheduling". ACM Transactions on Programming Languages and Systems. 21 (1): 46–89. CiteSeerX 10.1.1.54.2264. doi:10.1145/314602.314605. S2CID 12975945.
  11. ^ Kabra, Navin (14 May 2013). "Book: Digital Republic: India's rise to IT Power — by Mathai Joseph". punetech.com. Pune Tech.
  12. ^ a b Robinson, Andrew; Bowen, Jonathan (January 2014). "Digital Republic: India's rise to IT Power – by Mathai Joseph". Book Reviews. British Computer Society. Archived from the original on 3 February 2014. Retrieved 3 February 2014 – via Archive.org.
  13. ^ Joseph, Mathai; Robinson, Andrew (2 April 2014). "Policy: Free Indian science". Nature. 508 (7494): 36–38. doi:10.1038/508036a. PMID 24707526.

외부 링크