Goedel Team Update
· One min read
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 working on a performance modelling paper
Details
-
completing work on chain sync mini-protocol
-
proof sketch of conformance property of chain sync mini-protocol
-
onboarding new performance modelling intern
-
new content for JLAMP paper