• Zheng Zhou (Beijing Normal University)
  

  Zheng is a PhD student from the School of Philosophy at Beijing Normal University. Since December 2023, he has been conducting a one-year visit in Bochum. Zheng’s interests primarily lie in the application of formal argumentation in normative reasoning and deontic explanation. His email is zhouzhenglogic@mail.bnu.edu.cn.

• Badran Raddaoui (Associate Professor, Telecom SudParis, Polytechnic Institute of Paris)
  

  Badran Raddaoui is an associate professor of computer science at the Polytechnic Institute of Paris. His research interests include reasoning under inconsistency and uncertainty, formal models of argumentation, satisfiability and constraints programming. Further topics that he is interested in concerns the application of symbolic AI techniques for data and graph mining.

• Dunja Šešelja (Assistant Professor, TU Eindhoven)
  

  Dunja is working in the philosophy of science. Her research topics include epistemic and methodological aspects of scientific inquiry, with a special emphasis on the context of scientific diversity. Her recent research mainly focuses on agent-based modeling of scientific inquiry and the question of its epistemic function. Find more information on her academic homepage.

• Daniel Frey (Master Student in Economics at University Heidelberg)
  

  Daniel frequently collaborates with us on agent-based models. He is equally interested in the implementation side of things (e.g., NetLogo) and the conceptual considerations underlying formal models. He is finishing his master thesis investigating the Kevin Zollman’s notion of transient diversity.

• Sanderson Molick (PostDoc, Natal and Bochum)
  

  Sanderson is doing a PhD under the supervision of Joao Marcos and Christian. His current research is focused on critically exploring logical anti-exceptionalism: e.g., the role of the a priori and the question of what is logical data and what roles it plays in logical theory choice. He also investigates problems many-valued logics, in particular in first-order and non-monotonic contexts. He will defend his PhD in April 2021.

• AnneMarie Borg (Assistent Professor, Utrecht University)
  

  AnneMarie has been working on Justification Logic and Logical Argumentation. Her academic profile can be found here. She finished her PhD under the supervision of Christian and Ofer Arieli in 2019. It contains various contribution to the logical foundations of sequent-based and logical argumentation, such as investigations in extending sequent-based argumentation with defeasible assumptions, or investigations in issues of relevance.

• Jesse Heyninck (Professor, Open Universiteit Netherlands)
  

  Jesse finished his PhD under the supervision of Christian and Ofer Arieli in January 2019. He’s especially interested in combinations of defeasible reasoning forms and argument strength (here’s a description of his research project). His academia homepage can be found here.

• Matthis Hesse (PhD student, Bochum)
  

  Matthis was a PhD student under the supervision of Christian. He holds a degree in Mathematics and a degree in Cognitive Science. He is interested in formal methods to understand cognition. In specific, he aims at understanding how humans reason and argue, how rational and intelligent human reasoning is, how it can be described by formal methods, and eventually how these methods can be implemented in the context of AI. He is convinced that the key to understanding the human mind is to understand when and why it “fails” (measured by classical and rational means).

• Kees van Berkel (Assistent Prof. TU Vienna)
  

  Kees is a PostDoc in the Reasoning, Rationality & Science group. You find his webpage here. He works on logical methods for normative reasoning. This includes methods from modal logic, nonmotonic logic, proof theory, and formal argumentation. He is working together with Christian on formal explanation of reasoning with normative systems. Kees is furthermore interested in the metaethical principle of `ought implies can’ (both from a philosophical and logical point of view), and the philosophy of practical reasoning.

• Pere Pardo Ventura (Post-Doc, Milan)
  Pere is working on applications of argumentation and dynamic epistemic logic into defeasible reasoning and deontic logic. A brief CV and list of publications can be found on his homepage https://sites.google.com/site/perepardoventura/home.

• Jesse Heyninck (Professor, Open Universiteit Netherlands)
  

  Jesse finished his PhD under the supervision of Christian and Ofer Arieli in January 2019. He’s especially interested in combinations of defeasible reasoning forms and argument strength (here’s a description of his research project). His academia homepage can be found here.

• Mathieu Beirlaen
  

  Mathieu was a post-doc in the group. He is working on ampliative reasoning (abduction, inductive generalizations), deontic logic, adaptive logic, and argumentation theory. He is also a funky DJ and You can also listen to his mixes at https://www.mixcloud.com/jimmy_jazz/. He is now working as a business analyst (https://be.linkedin.com/in/mathieu-beirlaen-92a944179).

• Lisa Michajlova
  

  Lisa is now finishing her Bachelor of Science in Mathematics with minor in Philosophy. She currently works as a student assistant with Christian on Probabilistic Argumentation theory. She studies the Probabilistic Framework by Haenni and investigates argument strength defined for example by Pfeifer. Lisa loves playing sports including table tennis and chess.

• Ofer Arieli (Professor of Computer Science at the School of Computer Science, The Academic College of Tel-Aviv)
  

  visted our group from for one month until the 10th of June 2024

• Stipe Pandzic (PostDoc, Utrecht), 2024

• Badran Raddaoui (Associate Professor, Telecom SudParis, Polytechnic Institute of Paris), 2023
  

  Badran spent his sabbatical as a guest in Bochum (Sep. 2022–Sep. 2023). This led to fruitful collaborations on local inconsistency measures (which measure the contribution of a given formula to the inconsistency of a knowledge base) and the relation of inconsistency measures to formal argumentation.

• Ofer Arieli (Professor of Computer Science at the School of Computer Science, The Academic College of Tel-Aviv)
  

  Ofer visited us for a week in May 2023 during his Sabbatical.

• Leon van der Torre (Luxembourg) and Reka Markovich (Luxembourg) visited us for a week in March 2023 to work on a paper in legal reasoning.

• Kees van Berkel (TU Vienna)
  

  Kees is a visiting researcher doing a PhD at TU Wien under the supervision of Agata Ciabattoni and Stefan Woltran. His research is centered on logical and argumentative perspectives of normative reasoning. This includes, for instance, the logical study of the principle of `ought-implies-can’ and the development of suitable proof systems for deontic agency logics. His webpage can be found here. At the moment, he is working on argumentative characterizations of deontic reasoning with Christian Straßer. He spent several months in Bochum in the autumn of 2022.

• Jones Becker Arenhart
  

  Jonas is working on an anti-exceptionalist approach to logic, connecting the ‘logic as models approach’ with current pragmatic oriented understanding of models in philosophy of science. He is also interested in naturalism in philosophy in general. Jones spend his Sabbatical in Bochum.

• Ofer Arieli (Professor of Computer Science at the School of Computer Science, The Academic College of Tel-Aviv)
  

  

Ofer Arieli co-supervised the PhDs of AnneMarie and Jesse. We often collaborate on Sequent-Based Argumentation (see e.g., Sequent-based logical argumentation - IOS Press). Recently a VIP-visiting grant for 2018 was granted to Ofer by the Research School PLUS (RUB).

• Lorenz Demey (prof. in philosophical logic at KU Leuven)
  

  Lorenz was visiting us from the beginning of July to the end of September 2017. His current research is focused on logical geometry; his other research interests include the philosophies of science, language and mathematics, and the mathematical environment of modal logic (algebra, topology, etc.). His webpages can be found at http://www.lorenzdemey.eu/ and KU Leuven who’s who - Lorenz Demey.

• Stef Frijters (PhD student, Ghent University)
  

  

Stef is a PhD student of Joke Meheus, Frederik Van De Putte and Christian. His special interest is in bringing deontic logic closer to real-life applications such as medical ethics. He successfully defend his PhD in March 2021.

• Vlasta Sikimic (Postdoc, University of Belgrade)
  

  

Vlasta co-organized the conference Formal Models of Scientific Inquiry (link) with us. One of her interests concerns the efficiency of knowledge acquisition in laboratory-based research (e.g., in the Fermilab). Besides that she has published on formal logic (e.g., structurality, display calculi) and animal ethics.

• Badran Raddaoui (Associate Professor, Telecom SudParis, Polytechnic Institute of Paris). Badran plans to spend a part of his sabbatical as a guest in Bochum.