On the 22th of October, 2021 Tobias Wiersema, a member of our working group, defended his dissertation on “Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware” . With his work, which was evaluated with distinction, Tobias has been the first to extend the scope of Proof-Carrying Hardware to non-functional hardware properties and to demonstrate the concept on real FPGA devices. We would like to congratulate him on graduating and wish him all the best for the future.
Group picture of the Computer Engineering Group.