Utility
The design & minds behind Plutus
Final outcomes, robustness, and correctness: why these have to be our focus
Synopsis
Manuel Chakravarty / Duncan Coutts / Philipp Kant / Philip Wadler
In designing Cardano and Plutus, we use functional programming and formal methods to ensure higher levels of reliability, security, and correctness. This session will emphasis the need to focus on final outcomes, robustness, and correctness when designing financial infrastructures.