Rineke Verbrugge: Difference between revisions

From Wikipedia, the free encyclopedia
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
No edit summary
No edit summary
Line 29: Line 29:
}}
}}


'''L. C. (Rineke) Verbrugge''' is a Dutch [[logic]]ian and [[Computer science|computer scientist]] known for her work on [[interpretability logic]] and [[Provability logic|provability logic]]. She completed her PhD at the [[University of Amsterdam]] in 1993 under the supervision of [[Dick de Jongh]], [[Anne Sjerp Troelstra|Anne Troelstra]], and Albert Visser.<ref>{{cite web |url=https://www.genealogy.math.ndsu.nodak.edu/id.php?id=81095 |website=Laurina Christina / Rineke Verbrugge |access-date=2022-08-26}}</ref>
'''L. C. (Rineke) Verbrugge''' is a Dutch [[logic]]ian and [[Computer science|computer scientist]] known for her work on [[interpretability logic]] and [[Provability logic|provability logic]]. She completed her PhD at the [[University of Amsterdam]] in 1993 under the supervision of [[Dick de Jongh]], [[Anne Sjerp Troelstra|Anne Troelstra]], and Albert Visser.<ref>{{cite web |url=https://www.genealogy.math.ndsu.nodak.edu/id.php?id=81095 |title=Laurina Christina / Rineke Verbrugge |access-date=2022-08-26}}</ref>


She holds the chair of Logic and Cognition at the [[University of Groningen]]'s Bernoulli Institute of Mathematics, Computer Science and Artificial Intelligence, where she has been the leader of the Multi-Agent Systems working group since 2002.<ref>{{cite web |title=Rineke Verbrugge |url=https://underline.io/speakers/25-rineke-verbrugge |access-date=2022-08-25}}</ref><ref>{{cite web |url=https://philpeople.org/profiles/rineke-laurina-christina-verbrugge |title=Rineke (Laurina Christina) Verbrugge |access-date=2022-08-25}}</ref> In 2021, she was elected a fellow of the [[Royal Netherlands Academy of Arts and Sciences]].<ref>{{cite web |url=https://www.knaw.nl/leden/verbrugge |title=Prof. dr. Rineke Verbrugge |access-date=2022-08-25}}</ref>
She holds the chair of Logic and Cognition at the [[University of Groningen]]'s Bernoulli Institute of Mathematics, Computer Science and Artificial Intelligence, where she has been the leader of the Multi-Agent Systems working group since 2002.<ref>{{cite web |title=Rineke Verbrugge |url=https://underline.io/speakers/25-rineke-verbrugge |access-date=2022-08-25}}</ref><ref>{{cite web |url=https://philpeople.org/profiles/rineke-laurina-christina-verbrugge |title=Rineke (Laurina Christina) Verbrugge |access-date=2022-08-25}}</ref> In 2021, she was elected a fellow of the [[Royal Netherlands Academy of Arts and Sciences]].<ref>{{cite web |url=https://www.knaw.nl/leden/verbrugge |title=Prof. dr. Rineke Verbrugge |access-date=2022-08-25}}</ref>

Revision as of 08:06, 26 August 2022

Rineke Verbrugge
Alma materUniversity of Amsterdam
Scientific career
FieldsMathematics, Logic, Artificial Intelligence
Thesis (1993)
Doctoral advisorDick de Jongh, Anne Troelstra, Albert Visser
Doctoral studentsBarteld Kooi, Anna Lobanova, Stipe Pandzic, Leif Rodenhäuser, Wouter Teepe

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.[1]

She holds the chair of Logic and Cognition at the University of Groningen's Bernoulli Institute of Mathematics, Computer Science and Artificial Intelligence, where she has been the leader of the Multi-Agent Systems working group since 2002.[2][3] In 2021, she was elected a fellow of the Royal Netherlands Academy of Arts and Sciences.[4]

Verbrugge is an associate editor of the Journal of Logic, Language and Information.[5]

Selected Publications

  • Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge, "Agent theory for team formation by dialogue" International Workshop on Agent Theories, Architectures, and Languages (2000: 150-166.
  • Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge, "Creating collective intention through dialogue," Logic Journal of the IGPL 9 no. 2 (2001): 289-304.
  • Barbara Dunin-Keplicz, Rineke Verbrugge, "Teamwork in multi-agent systems: A formal approach" (Wiley 2011)
  • Barbara Dunin-Keplicz, Rineke Verbrugge, "Collective intentions", Fundamenta Informaticae 51 no. 3 (2002): 271-295.
  • Liesbeth Flobbe, Rineke Verbrugge, Petra Hendriks, Irene Krämer, "Children's application of theory of mind in reasoning and language", Journal of Logic, Language and Information 17 no. 4 (2008): 417-442.
  • Rineke Verbrugge, "Logic and social cognition," Journal of Philosophical Logic 38, no. 6 (2009): 649-680.
  • Rineke Verbrugge, "Provability Logic", The Stanford Encyclopedia of Philosophy (Fall 2017 Edition), Edward N. Zalta (ed.), URL = <https://plato.stanford.edu/archives/fall2017/entries/logic-provability/>.

References

  1. ^ "Laurina Christina / Rineke Verbrugge". Retrieved 2022-08-26.
  2. ^ "Rineke Verbrugge". Retrieved 2022-08-25.
  3. ^ "Rineke (Laurina Christina) Verbrugge". Retrieved 2022-08-25.
  4. ^ "Prof. dr. Rineke Verbrugge". Retrieved 2022-08-25.
  5. ^ "Journal of Logic, Language, and Information: Editorial Board". Retrieved 2022-08-25.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Rineke_Verbrugge&oldid=1106755590"