Кристоф Бенцмюллер ⇐ Васина Википедия

[wiki_de]

'''Кристоф Бенцмюллер''' — немецкий ученый-компьютерщик, заведующий кафедрой разработки систем искусственного интеллекта == Карьера ==
Бенцмюллер изучал информатику в Саарском университете с 1989 года. В 1995 году завершил обучение с дипломом. Затем он защитил докторскую диссертацию под руководством Йорга Х. Зикмана в 1999 году по теме «Равенство и экстенсиональность в доказательстве теорем высшего порядка», рецензируемой Михаэлем Кольхазе и Фрэнком Пфеннингом. После пребывания за границей в Бирмингеме и Эдинбурге он работал преподавателем в Саарском университете с 2001 по 2008 год, прерываясь исследовательской работой в Кембридже. Затем он работал профессором в Международном университете Германии в Брухзале до 2009 года. В 2012 году Бенцмюллер завершил абилитацию в Свободном университете Берлина. После исследовательской работы в Стэнфорде и Люксембурге с 2021 года он работает адъюнкт-профессором в Берлинском университете. В феврале 2022 года он принял должность в Бамбергском университете.
== Исследования ==
Бенцмюллер исследует взаимодействие искусственного интеллекта, философии, математики и языковой обработки. С одной стороны, его интересуют формальные рассуждения и универсальная логика с приложениями в философии/метафизике и математике, а с другой – разработка гибридных технологий искусственного интеллекта для этического и правового контроля систем искусственного интеллекта. В рамках исследовательской деятельности и работы приглашенным профессором он наладил сотрудничество со многими международными институтами, в том числе с Университетом Люксембурга, Стэнфордским университетом (США), Кембриджским университетом (Великобритания), Университетом Карнеги-Меллон (США), BITS Pilani Dubai (ОАЭ). и Чжэцзянский университет (Китай). Он входит в состав различных международных комитетов, консультирует стартапы в области искусственного интеллекта, является национальным контактным лицом Европейской конфедерации лабораторий по исследованию искусственного интеллекта (CLAIRE-AI), членом Берлинского центра математических исследований (MATH+) и Ассоциации Немецкие учёные.

* [https://www.mathgenealogy.org/id.php?id=173483 MathGen]
* [https://www.zdf.de/documentation/terra- ... u-100.html Существует ли Бог?]



Категория:Ученый-компьютерщик
Категория: Преподаватели университетов (Бамберг)
Категория:Немецкий
Категория:Мужчины



Подробнее: https://de.wikipedia.org/wiki/Christoph_Benzm%C3%BCller