Manuel Chakravarty

Registered user since Thu 3 Mar 2016

Name: Manuel Chakravarty

Bio: Manuel M T Chakravarty 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 used to be an Associate Professor at UNSW Sydney, but with the increasing adoption of functional programming in industry, he shifted his focus to unlocking new application areas for functional programming and helping development teams reap the benefits of modern programming language technology. He is currently a technical evangelist at Tweag I/O and co-leading the research-driven Plutus smart contract language team at IOHK.

Country: Netherlands

Affiliation: Tweag I/O & IOHK

Personal website: http://justtesting.org

Contributions

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