Listen to this interview of Clemens Dubslaff, Assistant Professor, Eindhoven University of Technology, the Netherlands. We talk about the cultural dividing lines between researcher communities, and of course, how to cross those lines into whole new areas of research.

Clemens Dubslaff : "One particular thing I would like to see eXplainable Formal Methods (XFM) do is to revisit the many papers from the early 1990s and so on — papers from logic and programming, where we have many things ready already. I mean, these papers have, in many cases, already discussed explanation, even from the standpoint of philosophy. So, these are just really good papers, but unfortunately more on the forgotten side. That’s why I think that connecting that knowledge from the past — say, about causality, for instance — to this new field of XFM will certainly help and advance the research."

Learn more about your ad choices. Visit megaphone.fm/adchoices