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 writing a paper on performance modelling
Details
completing work on chain sync mini-protocol
outline for JLAMP journal paper submission
analysing timeouts