The team works on applied research and consulting in formal methods that is directly applicable to evidence based engineering in Core Tech and beyond.
High level summary
This sprint the team has been working on drafts of two papers and one technical report, improving the deltaQ tutorial, consulting on performance design, and the Djed paper has been accepted for publication.
Details
Preparing draft of DeltaQSD algebra paper for FORTE 2023
Extending the technical report on which the above paper is based
Consulting with an external company on performance engineering of Plutus contracts
Planning improvements and collecting material for the deltaQ tutorial based on experience with systems that manage risk at multiple timescales
Preparing sections on the communication language and idempontency laws for draft paper about verifying design refinements for distributed system design
Studying Cardano chain sync protocol
"Djed: A Formally Verified Crypto-Backed Autonomous Stablecoin Protocol" has been accepted for publication at IEEE ICBC 2023