#238 Amrit Kumar & Ilya Sergey: Scilla – A Formal Verification Oriented Contract Language

#239 Grigore Rosu: The K Framework – A Framework to Formally Define All Programming Languages

#240 Pamela Morgan: Cryptoasset Inheritance Planning

#241 Eric Larchevêque: Ledger – How to Build an Industry-Leading Cryptocurrency Security Company

#242 Neha Narula: MIT’s Digital Currency Initiative – A Research-Driven Approach to Blockchain

#243 Evan Shapiro & Izaak Meckler: Coda – A Succinct Blockchain

#244 Anthony Lusardi: Ethereum Classic Cooperative – Accelerating the Growth of ETC

#245 Martin Becze: Primea – The Next-Generation Blockchain Operating System

#246 Guy Zyskind: Enigma – Providing Scalable Privacy-Preservation to Smart Contacts

#247 Ryan Selkis: Messari – Bringing Transparency and Self-Regulation to the Blockchain Industry