Research

Research

Currently working on The Distributed Assertion Management Framework (DAMF) . More on that later ..

Documents

Formal Reasoning using Distributed Assertions. Conference paper, FroCoS 2023
Distributing and trusting proof checking: a preliminary report. Technical (preliminary) report, 2023

Talks

Formal Reasoning using Distributed Assertions. FroCoS 2023, 22 September 2023
Formal Reasoning using Distributed Assertions. EuroProofNet Joint WG4-WG5 meeting, 8 September 2023
Formal Reasoning using Distributed Assertions. Deducteam seminar, 11 July 2023
Distributing and trusting proof checking. Proofs & algorithms seminar, 24 October 2022