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
The team is currently formalising mini protocols and also further developing the performance modelling prototype.
Details
working on collating and open sourcing performance analysis prototype
improvements to Ouroboros Praos specification in Isabelle
working on formalising chain sync mini-protocol
reviewing an alternatice semantics for DeltaQ
Seminar talk at U. Bergen on algebraic properties of timeliness