In allen Fächern, Theoretische Informatik II, Kryptographie und Programmverifikation, haben alle bestanden!

Die praxisbegleitende Lehrveranstaltung hatte als Themen einmal open source und einmal Blockchain. In beiden Themenfeldern wurden sehr interessante Projekte durchgeführt. So wurden z.B. neue Features zu BBB hinzugefügt, Issues in open source Projekten gefixed, ein ACME Client in Rust geschrieben. Weiter wurden ein auf Ethereum basierendes Spiel und ein Chat entwickelt, eine eigene Blockchain entwickelt sowie ein Tool zur Analyse der Bitcoin Blockchain, insbesondere der Vorhersage von Transaktionsgebühren.