In den letzten Wochen und Monaten haben wir intensiv an der Zusammensetzbarkeit von Spielen bzw deren Eigenschaften geforscht. Wir erhoffen uns ein Lego-artiges System, das uns erlaubt Teile von Spielen in andere einzusetzen ohne deren Sicherheitseig...

Synthese hat in vielen Bereichen unseres Lebens Einzug gehalten: In der Chemie, in der Medizin... und nun auch in der Informatik?

Nach einem Jahr Netidee Förderung möchte ich passend zur Weihnachtszeit kurz innehalten um auf das vergangene Jahr zurückzublicken und eine Vorschau für das kommende Jahr geben.

Nachdem das Formal Verification Team der Ethereum Foundation auf meine Arbeit aufmerksam wurde, haben wir gemeinsam ein spannendes Forschungsprojekt begonnen.

Als PhD Studentin und Wissenschaftlerin im Allgemeinen findet man sich regelmäßig auf Konferenzen und anderen Fachtagungen wieder. Dieser Blogeintrag gewährt einen Einblick in die Publikationskultur und deren Gründe.