Project members
dr. ir. J.M. (Jan) Broersen
Jan Broersen is associate professor in the Intelligent Systems Group of the Department of Information and Computing Sciences at Utrecht University. In 2003, he received his Ph.D. in computer science from the VU University Amsterdam. At that same university he was a postdoc in the knowledge representation and reasoning group of Frank van Harmelen, before switching to Utrecht University to work as an assistant professor in the Intelligent Systems group chaired by John-Jules Meyer. His research is focused on logic for artificial intelligence, with an emphasis on logics of norms, action, agency, interaction and responsibility.
Read more
dr. A.M. (Allard) Tamminga
Allard Tamminga is a researcher in Philosophical Logic at the Department of Information and Computing Sciences of Utrecht University (2014-today) and a senior lecturer in Theoretical Philosophy at the Faculty of Philosophy of the University of Groningen (2003-today). He was a visiting professor in Philosophy at the University of Bayreuth (2011-13), a lecturer in Philosophy at the University of Oldenburg (2012-14), and a lecturer in Artificial Intelligence at the VU University Amsterdam (2001-03). He holds a PhD in Philosophy from the Institute for Logic, Language and Computation of the University of Amsterdam (2001).
Read more
H.W.A. (Hein) Duijf, MSc
Hein Duijf started his PhD on logics for AI at the Information and Computer Science department of the Utrecht University in May 2014. More specifically, his PhD research involves logics for collective responsibility. He completed his Master’s in Mathematics at the Radboud University Nijmegen. During his education he broadened and deepened his knowledge of both mathematical and applied logic through courses and seminars at multiple universities: University of Amsterdam, University Utrecht, Radboud University Nijmegen and Technical University of Vienna.
Read more
E. (Estelle) Doriot, MSc.
Estelle Doriot is a PhD student at the Information and Computer Science department of Utrecht University since October 2014. Her PhD focuses on grades of responsibility relative to normative systems. She completed her master’s degree in computer science with a specialization on artificial intelligence at Dauphine University in Paris.
dr. Niels van Miltenburg
Niels van Miltenburg is an Assistant Professor of philosophy in the departement of Philosophy and Religious studies at Utrecht University. His research focusus on action theory, free will and responsibility. From 2011 to 2013 he was a PhD researcher in Utrecht for Thomas Müller’s research program Indeterminism Ltd. which was funded by the European Research Council. When the project moved to the university of Konstanz he was appointed by that university to continue his research. In 2015 he successfully defended his PhD-thesis entitled Freedom in Action (cum laude).
Read more
A.I. (Aldo) Ramirez Abarca MSc
Aldo joined the REINS project in August, 2016. Before, he carried out a Master's program in Logic from the ILLC (Institute of Logic, Language, and Computation) of the University of Amsterdam. There, his main research interests were within the field of formal modelling for epistemic and doxastic logics. Like the other members of the project, he focuses on logics for responsibility in Artificial Intelligence, with the goal of deploying such logics into active AI systems.
Read more
dr. Sander Beckers
Sander joined the project in January 2018. He obtained his PhD in computer science at the University of Leuven, by focussing on the problem of actual causation. This topic was further explored during a postdoctoral B.A.E.F.-fellowship at the computer science department of Cornell University, where he worked with Joe Halpern. Given the close relation between causation and moral responsibility, his work on the former topic has led him to pursue research on the latter topic.
Read more
Aafke van Welbergen
Aafke is an Artificial Intelligence student at the university of Utrecht. She joined the REINS-project in october 2016 and is assisting with the organisation and activities.