Im abschließenden Blog Eintrag meines Stipendiums möchte ich eine Case Study zum spieltheoretischen Modellieren eines tatsächlichen Blockchain Protokolls machen. Wir entwickeln das Modell in Zusammenarbeit mit einem Partner aus der Wirtschaft, der di...

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.