Mut zum Risiko: Erneut Millionenförderung für Forscher
prüfen kostet viel Zeit. Der Informatiker will in seinem Projekt deshalb spezielle Verfahren ausprobieren, die möglichst viele Systeme unter allen Bedingungen testen. Diese Verfahren nennen sich „formale [...] „Ich freue mich sehr, dass ich durch das zweite Koselleck-Projekt die Freiheit bekomme, Dinge auszuprobieren, um die technische Entwicklung in der digitalen Welt langfristig voranzubringen“, sagt der Wi