Эта статья может чрезмерно полагаться на источники, слишком тесно связанные с темой , что потенциально делает статью непроверяемой и нейтральной . Пожалуйста ( Август 2022 г. ) |
Ринеке Вербрюгге | |
---|---|
Рожденный | ( 1965-03-12 )12 марта 1965 г. |
Гражданство | Голландский |
Альма-матер | Амстердамский университет |
Научная карьера | |
Поля | Математика , Логика , Искусственный интеллект |
Тезис | Эффективная метаматематика (1993) |
научный руководитель | Дик де Йонг , Энн Трулстра , Альберт Виссер |
Лаурина Кристина (Ринеке) Вербрюгге (родилась 12 марта 1965 года в Амстердаме ) — голландский логик и учёный-компьютерщик, известная своими работами по интерпретируемой логике и логике доказуемости . Она защитила докторскую диссертацию в Амстердамском университете в 1993 году под руководством Дика де Йонга , Энн Троэльстры и Альберта Виссера. [1]
Она занимает кафедру логики и познания в Институте математики, компьютерных наук и искусственного интеллекта имени Бернулли при Университете Гронингена , где с 2002 года является руководителем рабочей группы по многоагентным системам. [2] Она особенно известна своей работой по соединению формальной логики с познанием и психологией развития, а также ролью логики в объяснении социального поведения.
С 2005 по 2021 год она была президентом ( voorzitter ) Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen (VvL; Голландская ассоциация логики и философии точных наук). [3] В 2021 году она была избрана членом Королевской Нидерландской академии искусств и наук (KNAW). [4] Вербрюгге — заместитель редактора журнала Logic, Language and Information . [5]