All decks Close
All decks 5

  • Program Analysis for Web3

    Mar 27, 2025 53 0

  • Web3 and Program Analysis

    Sep 21, 2024 218 0

  • Code Contracts

    Aug 03, 2021 1,111 0

  • Formal Verification and Compliance Checkers

    Aug 29, 2020 316 0

  • Research collaboration

    Talk on research collaboration

    Aug 24, 2017 221 0