아민 B.크리머스

Armin B.
아민 B.크리머스
Armin B. Cremers.png
태어난 (1946-06-07) 1946년 6월 7일 (75세)
아이제나흐, 독일
국적독일어
모교카를스루헤 대학교
과학 경력
박사과정 학생울프람 부르가르드
디터 폭스
세바스티안 스룬
웹사이트www.b-it-center.de/research-groups/emeritus-research-group-artificial-intelligence-foundations Edit this at Wikidata

아르민 베른트 크레머스(Armin Bernd Cremers, 1946년 6월 7일 출생)는 독일의 수학자 겸 컴퓨터 과학자다.독일 본대학 컴퓨터과학연구소 교수다.그는 격식어, 오토마타 이론을 포함한 이산 수학의 여러 분야에 기여한 것으로 가장 유명하다.보다 최근 몇 년 동안 그는 지리정보학 및 연역 데이터베이스뿐만 아니라 인공지능, 기계학습, 로봇공학 분야의 연구로 인정받았다.

삶과 일

아민 B.크레머스는 독일 칼스루에 대학에서 수학과 물리학을 공부했다.대학원 졸업장(1971년)과 수학 박사(1972년)를 모두 수석으로 받은 뒤 그는 모두 칼스루헤 대학에서 컴퓨터 과학에 대한 학문적 강의 자격(1974년)을 받았다.[1]세이모어 긴즈버그의 초청에 따라 1973년 로스앤젤레스 남캘리포니아대(USC)에 입학해 1976년까지 전기공학 및 컴퓨터공학 조교수로 근무했다.긴즈버그와 함께 그는 문법 가족을 위한 새로운 형식주의인 문법 양식을 시작했다.[2][3]

1976년 A. B. Cremers는 독일로 돌아와 도르트문트 대학의 컴퓨터 과학 전 교수에 임명되었는데, 그는 1990년까지 남아 정보 시스템의 좌장을 맡았다.[4]동시에 그는 토마스 N과 함께 USC에서 방문 연구 교수로 계속 일했다. Hibbard는 이론과 응용 분야에서 포괄적인 계산 모델인 Data Spaces의 개념을 개발했다.[5]

도르트문트 A.B.크레머스는 1985년 초부터 컴퓨터과학부 이사장을 역임했고, 리서치앤쥬니어과학부 부총장을 역임했다.이 포지션에서 그는 기술 센터 도르트문트의 개발을 위한 연락 담당이었다.그는 도르트문트 전문가 시스템 센터(ZEDO)와 NRW 국가연구협력기구(KI-NRW)의 창립자 겸 창립 이사였다.[6][7]1988년부터 1996년까지 그는 독일 국립수학정보처리센터(GMD)의 감독위원회 위원이기도 했다.

1990년부터 A. B. Cremers는 본 대학에서 컴퓨터 과학과 교수 겸 이사, 인공지능 연구 그룹장을 맡고 있다.본으로부터 그는 근본적으로 인공지능과 로봇공학(Wolfram Burgard, Dieter Fox, Sebastian Thrun과 함께 제자들 사이에서)과 소프트웨어 공학, 특히 토목 공학, 정보 시스템, 특히 지리학 분야에 공헌했다.[8]"인터랙티브 뮤지엄 투어-가이드 로봇"[9]이라는 논문이 2016년 AAAI 클래식 페이퍼상을 수상했다.[10]마티아스 자크 A. B. 크리머스와 함께 2001년 본-아헨 국제정보기술센터(B-IT)를 설립하고 2014년 본대학에서 교수직에서 은퇴할 때까지 본대학 측의[11] 창립과학부장으로서 이를 이끌었다.

2004년부터 2008년까지 크레머스는 수학과 자연과학부 학장을, 2009년 4월부터 2014년 7월까지 대학 기획금융부 부총장을 역임했다.그는 코블렌츠 란도 대학 평의회 의장과 같은 자문위원의 일원이다.[12][13][14]

참조

  1. ^ "Vita - Prof. Dr. Armin B. Cremers". Archived from the original on 18 May 2015. Retrieved 5 May 2015.
  2. ^ Cremers, Armin B.; Ginsburg, Seymour (1974), Jacques Loeckx (ed.), "Context-Free Grammar Forms", Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, July 29 - August 2, 1974, Proceedings, Lecture Notes in Computer Science, Springer, 14, ISBN 3-540-06841-4
  3. ^ 아민 B. DBLP 서지학 서버의 크리머
  4. ^ "Vita - Prof. Dr. Armin B. Cremers". Archived from the original on 18 May 2015. Retrieved 5 May 2015.
  5. ^ Cremers, Armin B.; Hibbard, Thomas N. (September 1978). "Formal Modeling of Virtual Machines". IEEE Transactions on Software Engineering. SE-4 (5): 426–436. doi:10.1109/TSE.1978.233862. S2CID 17894202.
  6. ^ "Homepage KI-NRW". Research Cooperative KI-NRW - Knowledge-Based Software Technology in North-Rhine Westphalia. Retrieved 5 May 2015.[영구적 데드링크]
  7. ^ "Neue Wege der Verbundforschung in Künstlicher Intelligenz - Prof. Cremers Sprecher der Arbeitsgemeinschaft deutscher KI-Institute" (PDF). Bonner Universitätsnachrichten, Jg. 24, Nr. 184, November 1991.
  8. ^ 아민 B. 구글 스콜라(Google Scholar)가 색인화한 크리머즈 출판
  9. ^ Burgard, Wolfram; Cremers, Armin B.; Fox, Dieter; Hähnel, Dirk; Lakemeyer, Gerhard; Schulz, Dirk; Steiner, Walter; Thrun, Sebastian (1998). "The interactive museum tour-guide robot". Proceeding AAAI '98/IAAI '98 Proceedings of the Fifteenth National/Tenth Conference on Artificial Intelligence/Innovative Applications of Artificial Intelligence. AAAI '98/IAAI '98: 11–18. ISBN 9780262510981. Retrieved 21 March 2016.
  10. ^ "AAAI Classic Paper Award".
  11. ^ Bonn-Aachen 국제정보기술센터(Bonn-Aachen International Center for Information Technology, B-IT)2015년 4월 24일 회수
  12. ^ 자문 위원회 2014년 12월 15일 웨이백 머신에 보관.프라운호퍼 대학교 지능형 분석 및 정보 시스템 연구소(IAIS)2015년 4월 26일 회수
  13. ^ 자문 위원회.독일 생명 과학 윤리 참조 센터(DRZE)의 웹 사이트.2015년 4월 26일 회수
  14. ^ 대학 평의회.Koblenz-Landau 대학의 웹사이트.2015년 4월 26일 회수

외부 링크