Boddens Forschungsgruppe hat sich über die letzten Jahre vor allem im Bereich der automatisierten Codeanalyse eine weltweite Spitzenposition aufgebaut. So hat die Gruppe zum Beispiel bereits einen Ansatz entwickelt, mit dem sich ganze Softwareproduktlinien in Minuten statt bisher in Jahren analysieren lassen. ?Diesen Wissensvorsprung wollen wir nun nutzen, um unseren industriellen Partnern einen Wettbewerbsvorteil zu verschaffen?, so Bodden. Langfristig plant die Abteilung die Integration der Analyse direkt in Softwareentwicklungsumgebungen. Bodden: ?Unser Ziel ist es, Softwareentwickler bereits zu warnen bevor sie sicherheitskritische Programmierfehler begehen."

Erst im Februar dieses Jahres wurde Prof. Bodden mit dem renomierten Heinz Meyer-Leibnitz-Preis der Deutschen Forschungs­gemeinschaft ausgezeichnet.