Carl Pulley
Summary
Carl Pulley is a senior software engineer and researcher whose work spans distributed systems, program analysis and digital forensics across industry and academia. He currently engineers privacy and security for the DAML language/compiler at Digital Asset, using Scala and Haskell to harden smart contracts. He’s led back-end and architectural work on the Daml Studio project, fixing contract activeness checks, boosting deserialization performance, and strengthening transaction processing and testing infrastructure. Previously he drove secure, low-latency distributed systems at Disney Streaming Services and Cake Solutions, leading agile teams and delivering large-scale AWS-based pipelines with Akka, Scala, Java and Python. His academic career at the University of Huddersfield blends forensic analysis, high-performance computing, formal methods, and security, underpinned by a PhD in Mathematical Logic and extensive publications. Based in England, he brings a rare mix of rigorous theory, practical software engineering, and hands-on leadership to complex, security-minded projects.
3 years of coding experience
Github Skills (9)
scala10
distributed-ledger10
smart-contracts10
smart-contract10
daml10
scala210
distributed-ledger-technology10
testing9
performance-optimization9
Programming languages (2)
Github contributions (4)
digital-asset/daml
Jun 2022 - Jan 2023
The Daml smart contract language
Role in this project:
Back-end Developer & Software Architect
Back-end Developer & Software ArchitectContributions:802 reviews, 109 commits, 336 PRs in 7 months
Contributions summary:Carl primarily contributed to the Daml smart contract language project, focusing on the Daml Studio component. Their work included fixing bugs related to contract activeness checks and implementing features to improve performance when deserializing Daml Maps. The user also refactored code related to Transaction processing and contributed to the disclosure testing infrastructure. These efforts demonstrate a focus on improving the core functionality and performance of the Daml language interpreter.
dltbazelsmart-contractcontractblockchain
carlpulley-da/trigger-logging-analysis
Feb 2023 - Feb 2023
Contributions:5 pushes, 1 branch in 1 day
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.