Manuel Chakravarty

Registered user since Thu 3 Mar 2016

Name:Manuel Chakravarty
Bio:

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.

Country:Netherlands
Affiliation:Tweag & IOG
Personal website:http://justtesting.org

Contributions

FUNARCH 2023 Committee Member in Program Committee within the FUNARCH 2023-track
REBASE 2021 Session Chair of Session 4 (part of REBASE)
TyDe 2021 Author of Translation Certification for Smart Contracts (Extended Abstract) within the TyDe 2021-track
Haskell 2020 Committee Member in Program Committee within the Haskell 2020-track
HIW 2019 Committee Member in Program Committee within the HIW 2019-track
ICFP 2019 Author of Blockchains are functional within the Keynotes and Reports-track
TyDe 2019 Author of Formal Investigation of the Extended UTxO Model within the TyDe 2019-track
Author of Generic Enumerators within the TyDe 2019-track
PLNL 2018 Author of A Functional Approach to Blockchain Contract Languages within the PLNL-track
CurryOn 2018 Author of Do-It-Yourself Functional Reactive Programming within the Curry On Talks-track
Haskell 2017 Author of Streaming Irregular Arrays within the Haskell 2017-track
HIW 2017 Author of Tracking GHC Performance within the HIW 2017-track
CurryOn 2017 Author of Haskell SpriteKit - A Case Study in Turning a Stateful into a Purely Functional API within the Curry On Talks-track
ICFP 2016 ICFP'14 Program Chair in Steering Committee
CurryOn 2016 Speaker of A Type is Worth a Thousand Tests within the CurryOn -track
ARRAY 2015 Committee Member in Program Committee within the ARRAY-track