The PAcT project (Proving Accountability in Traffic), which is being conducted jointly with Prof. Matthias Althoff, Chair of Robotics, Artificial Intelligence and Real-Time Systems, and Prof. Tobias Nipkow, Chair of Logic and Verification in Computer Science, from the TU Munich, has been working on the question of the formalizability and programmability of legal rules since mid-2018.

In autumn 2020 the Forschungsstelle RobotRecht (Robotics Law Research Centre) turned 10 years old. With around a dozen employees, it works on numerous national and international projects at the interface between digitization, automation, AI and law.

In August 2020, a practical handbook entitled AI & Recht kompakt was published by Springer Verlag. Herr Haagen and Frau Lohmann, a (former) research associate and a current research associate at the Chair of Criminal Law, Criminal Justice, Legal Theory, Information and Computer Science Law, as well as at the Forschungsstelle RobotRecht, contributed a chapter providing insight into legal issues related to "artificial intelligence and criminal law".