In 2024, I was engaged by the Security Team at MatterLabs. They needed help in formally specifying and checking the properties of the new algorithm that was being designed by the Consensus Team....

We have finished the work on Solarkraft, which we started in the framework of the SCF #24 activation award....

This blogpost summarizes my work on Quint after leaving Informal Systems....