Rineke Verbrugge

Titels Prof. dr.
Initials L.C.
Main position Hoogleraar RUG
Disciplines Theoretical computer science
  Artificial intelligence, expert systems
  Logic, set theory and arithmetic
  History and philosophy of the behavioural sciences
Chair Logica en Cognitie
Domain Humanities
Membership Member
Since 2021
Member of Humanities
Member of Natural Sciences and Engineering
Employed by Rijksuniversiteit Groningen, Faculty of Science and Engineering, Bernoulli Institute of Mathematics
Kunstmatige Intelligentie
Postbus 407
tel.  050 363 6334
Personal website

Rineke Verbrugge was trained in the logic and foundations of mathematics and made substantial contributions to provability and epistemic logic. She then broadened her scope to apply herself with great success to the logic of interactive systems, such as groups of people working together. Her work is pre-eminently interdisciplinary thanks to the creativity with which she combines mathematical logic, artificial intelligence and cognitive science. Verbrugge devotes many of her publications to intelligent interaction. She has developed a well-known game that combines logic, game theory and cognitive psychology. She has also built the first formal teamwork model in which information flows, collective intentions and joint planning are linked.