23 posts tagged with "goedel"

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 working on formalising mini protocols, the performance modelling prototype and also finishing off their ICE papers.

Details​

• Formalization of the chain synchronization mini-protocol in the thorn calculus

• Final pre-publication steps for ICE 2023 papers

• Developing approach for specification and verification of mini-protocols

• Started work on porting the DeltaQ framework to a new, more concrete backend based on piecewise-polynomials

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 teams have been working on finalising their ICE papers for publication in EPTCS, formalising concensus, and investigating chain sync.

Details​

• Preparing final versions of ICE papers

• Reviewing the chain sync design and documentation

• Refactoring the thorn calculus

• First draft of Praos specification

• Developing bounding factors on timeouts

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 teams presented two papers at ICE 2023.

Details​

• Presented two papers at ICE 2023: https://www.discotec.org/2023/ice

• Analysing and implementing chain synchronization mini protocol

• The team is hiring a performance engineering intern - https://apply.workable.com/io-global/j/BFEC5B0AFF/

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 giving and preparing public talks, also on preparing final versions of their ICE 2023 papers, and on analysing chain selection.

This sprint the team has been working on final revisions for the pre-proceedings versions of two ICE 2023 papers.

Details​

• Lambda Days keynote by Kevin Hammond: https://www.lambdadays.org/lambdadays2023

• Codebeam keynote by Peter Van Roy: https://www.youtube.com/watch?v=h8sE3Ai8Dsk; https://www.youtube.com/watch?v=h8sE3Ai8Dsk

• Preparing talks and final versions for two ICE 2023 contributions: https://www.discotec.org/2023/ice

• Analysing chain selection.

• The team is hiring a performance engineering intern - https://apply.workable.com/io-global/j/BFEC5B0AFF/

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 final revisions for the pre-proceedings versions of two ICE 2023 papers.

Details​

• Porting Ouroboros Praos formalisation to new application layer.

• Preparing pre-proceedings version of two ICE 2023 papers.

• The team is hiring a performance engineering intern - https://apply.workable.com/io-global/j/BFEC5B0AFF/