E.ON-Kulturpreis für Augsburger Informatiker
Für seine Doktorarbeit „Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen“ ist der Augsburger Informatiker Dr. Holger Grandy am 30. Oktober 2008 mit dem mit 4000 Euro dotierten Kulturpreis der E.ON Bayern AG ausgezeichnet worden. Grandys Doktorarbeit liefert eine Methodik, die es erlaubt, den Code realer kommunizierender Computersysteme als sicher und korrekt nachzuweisen. Der Nachweis wird auf einem Modell geführt und dann formal korrekt auf eine tatsächliche Implementierung des Systems übertragen. Grandy illustriert diese Methodik an zwei Anwendungen für Mobiltelefone und Chipkarten.