Armin Bernd Cremers (nacido el 7 de junio de 1946) es un matemático e informático alemán . Es profesor en el instituto de informática de la Universidad de Bonn , Alemania. Es más notable por sus contribuciones a varios campos de las matemáticas discretas, incluidos los lenguajes formales y la teoría de autómatas . En los últimos años ha sido reconocido por su trabajo en inteligencia artificial , aprendizaje automático y robótica , así como en geoinformática y bases de datos deductivas .
Armin B. Cremers | |
---|---|
Nació | |
Nacionalidad | alemán |
alma mater | Universidad de Karlsruhe |
Carrera científica | |
Estudiantes de doctorado | Wolfram Burgard Dieter Fox Sebastian Thrun |
Sitio web | wob |
Vida y obra
Armin B. Cremers estudió matemáticas y física en la Universidad de Karlsruhe , Alemania. Después de su diploma de posgrado (1971) y doctorado (1972), ambos en matemáticas, ambos summa cum laude, recibió su título de cátedra académica en ciencias de la computación (1974), todos de la Universidad de Karlsruhe. [1] Tras una invitación de Seymour Ginsburg , se incorporó a la Universidad del Sur de California (USC), Los Ángeles , en 1973, donde trabajó hasta 1976 como profesor asistente de ingeniería eléctrica e informática. Con Ginsburg inició Grammar Forms, un nuevo formalismo para familias gramaticales. [2] [3]
En 1976 AB Cremers regresó a Alemania y fue nombrado profesor titular de informática en la Universidad de Dortmund , donde permaneció hasta 1990, ocupando la cátedra de sistemas de información. [4] Durante el mismo tiempo continuó trabajando como profesor investigador invitado en la USC, donde junto con Thomas N. Hibbard desarrolló el concepto de Data Spaces, un modelo computacional integral, en teoría y aplicaciones. [5]
En la Universidad de Dortmund, AB Cremers se desempeñó como presidente del departamento de informática y, desde principios de 1985, como vicepresidente de Investigación y Personal Científico Junior. En este puesto, fue el enlace para el desarrollo del Centro Tecnológico de Dortmund . Fue el iniciador y director fundador del Center for Expert Systems Dortmund (ZEDO) y del NRW State Research Collaborative in Artificial Intelligence (KI-NRW). [6] [7] De 1988 a 1996 también fue miembro del Consejo de Supervisión del Centro Nacional Alemán de Investigación en Matemáticas y Procesamiento de Datos (GMD).
Desde 1990 AB Cremers ha sido profesor y director de informática y jefe del grupo de investigación en inteligencia artificial de la Universidad de Bonn. Desde Bonn ha contribuido fundamentalmente a la inteligencia artificial y la robótica (con Wolfram Burgard , Dieter Fox , Sebastian Thrun entre sus alumnos), y al desarrollo de la ingeniería de software, particularmente en ingeniería civil, y sistemas de información, particularmente en geociencias. [8] El documento "The Interactive Museum Tour-Guide Robot" [9] ganó el premio AAAI Classic Paper de 2016. [10] Junto con Matthias Jarke AB Cremers estableció el Centro Internacional de Tecnología de la Información de Bonn-Aachen (B-IT) en 2001 y lo dirigió como Director Científico Fundador de la Universidad de Bonn [11] hasta su retiro de la docencia en 2014.
De 2004 a 2008 Cremers fue Decano de la Facultad de Matemáticas y Ciencias Naturales y de abril de 2009 a julio de 2014 Vicepresidente de Planificación y Finanzas de la Universidad. Es miembro de juntas asesoras, por ejemplo, [12] [13] , así como Presidente del Consejo Universitario de la Universidad de Koblenz-Landau . [14]
Referencias
- ^ "Vita - Prof. Dr. Armin B. Cremers" . Archivado desde el original el 18 de mayo de 2015 . Consultado el 5 de mayo de 2015 .
- ^ Cremers, Armin B .; Ginsburg, Seymour (1974), Jacques Loeckx (ed.), "Formas gramaticales libres de contexto", Autómatas, lenguajes y programación, 2do Coloquio, Universidad de Saarbrücken, 29 de julio - 2 de agosto de 1974, Actas , Notas de conferencia en Ciencias de la Computación , Springer, 14 años , ISBN 3-540-06841-4
- ^ Armin B. Cremers en elservidor de bibliografía DBLP
- ^ "Vita - Prof. Dr. Armin B. Cremers" . Archivado desde el original el 18 de mayo de 2015 . Consultado el 5 de mayo de 2015 .
- ^ Cremers, Armin B .; Hibbard, Thomas N. (septiembre de 1978). "Modelado formal de máquinas virtuales". Transacciones IEEE sobre ingeniería de software . SE-4 (5): 426–436. doi : 10.1109 / TSE.1978.233862 . S2CID 17894202 .
- ^ "Página de inicio KI-NRW" . Cooperativa de investigación KI-NRW: tecnología de software basada en el conocimiento en Renania del Norte-Westfalia . Consultado el 5 de mayo de 2015 .[ enlace muerto permanente ]
- ^ "Neue Wege der Verbundforschung en Künstlicher Intelligenz - Prof. Cremers Sprecher der Arbeitsgemeinschaft deutscher KI-Institute" (PDF) . Bonner Universitätsnachrichten, Jg. 24, Nr. 184, noviembre de 1991.
- ^ Publicaciones de Armin B. Cremers indexadas por Google Scholar
- ^ Burgard, Wolfram; Cremers, Armin B .; Fox, Dieter; Hähnel, Dirk; Lakemeyer, Gerhard; Schulz, Dirk; Steiner, Walter; Thrun, Sebastián (1998). "El robot guía turístico interactivo del museo" . Actas AAAI '98 / IAAI '98 Actas de la Decimoquinta Conferencia Nacional / Décima sobre Inteligencia Artificial / Aplicaciones Innovadoras de la Inteligencia Artificial : 11–18 . Consultado el 21 de marzo de 2016 .
- ^ http://www.aaai.org/Awards/classic.php
- ^ Centro internacional de Bonn-Aachen para tecnologías de la información (B-IT) . Consultado el 24 de abril de 2015.
- ^ Consejo asesor Archivado el 15 de diciembre de 2014 en Wayback Machine . Universidad del Instituto Fraunhofer de Análisis Inteligente y Sistemas de Información (IAIS). Consultado el 26 de abril de 2015.
- ^ Junta asesora . Sitio web del Centro de referencia alemán para la ética en las ciencias de la vida (DRZE). Consultado el 26 de abril de 2015.
- ^ Consejo Universitario . Sitio web de la Universidad de Koblenz-Landau . Consultado el 26 de abril de 2015.
enlaces externos
- Página web oficial
- Armin B. Cremers en el Proyecto de genealogía matemática