Manuel Chakravarty
Functional Programming Specialist at Input Output (IOHK)
Randstad, Netherlands
Summary
🤩
Rockstar🎓
Top SchoolManuel Chakravarty is a functional programming specialist with 26 years of experience bridging academic research and industrial engineering in programming languages, compilers, and developer tools. Currently at Tweag I/O and IOHK, he architects robust language implementations—most notably contributing to Plutus (Cardano’s smart-contract language) and the Accelerate high-performance array DSL—bringing formal rigor to UTxO semantics and tuple-support in ASTs. A former UNSW associate professor and co‑founder of Applicative (creator of Haskell for Mac), he uniquely combines teaching, tooling, and product development experience. Based in the Randstad, he describes himself as a "Lambda Scientist," reflecting a deep, practical commitment to pure functional design and correctness beyond typical engineering concerns.
26 years of coding experience
11 years of employment as a software developer
Dipl.-Inform., Informatics, Dipl.-Inform., Informatics at Karlsruhe Institute of Technology (KIT)Dr. rer. nat., Informatics, Dr. rer. nat., Informatics at Technische Universität Berlin
German, English, Dutch, Japanese
Stackoverflow
166reputation
7kreached
3answers
0questions
Github Skills (13)
type-system10
smart-contracts10
programming-language10
functional-programming10
template-haskell10
haskell10
blockchain10
abstract-syntax-tree10
cryptography8
cuda6
nvidia6
repa6
gpu6
Programming languages (8)
Github contributions (5)
AccelerateHS/accelerate
Jul 2009 - May 2014
Embedded language for high-performance array computations
Role in this project:
Back-end Developer
Back-end DeveloperContributions:250 commits, 33 comments in 4 years 11 months
Contributions summary:Manuel contributed to the implementation of n-tuple support and other related data structures within the Accelerate library, a domain specific language for high-performance array computations. The changes involve modifications to the AST representation, including the addition of constructors for tuples and supporting code in the Interpreter, Smart, and Type modules. Furthermore the changes are focused on adding built-in methods for handling tuple types.
cudaarrayembedded-languagegpuhaskell
IntersectMBO/plutus
Mar 2018 - Nov 2018
The Plutus language implementation and tools
Role in this project:Back-end Developer
Back-end DeveloperContributions:75 commits, 32 PRs, 64 pushes in 7 months
Contributions summary:Manuel contributed to the Plutus language implementation and tools, specifically focusing on the UTxO model. Their commits involve defining script witnesses, implementing validators for various use cases, and ensuring the model adheres to value preservation rules. They also updated the UTxO model to require non-negative values in transactions and completed a public key validator example. These changes suggest a focus on core functionality and security within the Plutus environment.
programming-languageblockchainsmart-contractsplutus
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.