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.