Rineke Verbrugge
About
L. C. (Rineke) Verbrugge is a Dutch logician and computer scientist known for her work on interpretability logic and provability logic. She completed her PhD at the University of Amsterdam in 1993 under the supervision of Dick de Jongh, Anne Troelstra, and Albert Visser.