Adjoint News

Reasoning About Program Behavior Algebraically

Presentation by Stephen Diehl

Stephen Diehl, CTO

Adjoint CTO, Stephen Diehl will present on complex multiparty workflows and formal methods.

Download slides from the presentation