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 formalising mini protocols and also further developing the performance modelling prototype.
Details
Developing new framework for specification and verification of mini-protocols which is closer to the Haskell implementation.
Developed a new internal representation for the DeltaQ algebra that allows for more modularity in backend implementations
Discussions regarding the Cardano networking specification