NRW-Akademie der Wissenschaften und der Künste – Interview mit Joost-Pieter Katoen

Bereits im Mai wurde Sprecher des ICT Steering Commitees Joost-Pieter Katoen zum ordentlichen Mitglied der Nordrhein-Westfälischen Akademie der Wissenschaften und der Künste gewählt. Nun wurde ein Interview mit dem Leiter des Lehrstuhls für Software-Modellierung und Verifikation veröffentlicht. In dem Interview erzählt Katoen über seine Forschung und seine Arbeit. 

Lesen Sie das ganze Interview.