Manuel M T Chakravarty currently works at the intersection of programming languages and cryptography with applications to open blockchains. His recent contributions cover smart contract and native asset support for UTxO ledgers, such as Cardano, as well as multi-party state channels. He has also published extensively on programming languages, compilers, and high-performance computing. He contributed to both the design and implementation of the Haskell programming language (most notably, type families, associated types, and the foreign function interface) as well as several Haskell tools and open source libraries. He is currently a functional programming expert at Tweag and a researcher & architect of smart contract technology at IOG (formerly, IOHK). Before that he was an Associate Professor at UNSW Sydney.