Sie promovierte 1996 mit dem Thema Contributions to Mechanical Proofs of Correctness for Compiler Front-Ends am Institut für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel.