Carl Pulley
Senior Software Engineer at Digital Asset
England, United Kingdom
Summary
👤
Senior🎓
Top SchoolCarl Pulley is a Senior Software Engineer with 15 years of experience specialising in distributed systems, program analysis and digital forensics, currently working on privacy engineering for the DAML language/compiler. His background spans R&D in both academia and industry, contributing to scalable, low-latency cloud systems at Disney Streaming and advanced static analysis and threat modelling for secure software at Oodle Car Finance. He combines formal methods and program verification (PhD in Mathematical Logic) with practical engineering across Scala, Haskell, Akka and cloud platforms, and has a track record of shipping high-availability, CI/CD-driven services. Carl’s research-fed approach yields clear, top-down problem decomposition but he also applies creative, divergent thinking when projects demand it. Notably, his forensic work has included decrypting observed Diffie-Hellman exchanges on HPC clusters and building analysis tooling across OCaml, C/C++ and Python, reflecting a rare mix of theoretical depth and hands-on systems engineering.
15 years of coding experience
16 years of employment as a software developer
BSc, Mathematics, BSc, Mathematics at University of NottinghamMSc, Logic and Computation, MSc, Logic and Computation at The University of Manchester
Stackoverflow
13reputation
277reached
0answers
1question
Github Skills (60)
codeql9
scanning9
sbt-plugin8
sbt8
hocon8
security8
semmle-ql8
github-advanced-security8
concurrent7
akka7
validation7
java7
high-performance7
streaming7
concurrency6
Programming languages (6)
Github contributions (5)
cakesolutions/sbt-cake
Jun 2017 - Oct 2017
sbt plugin for use in all projects at Cake Solutions
Contributions:37 commits, 70 PRs, 129 pushes in 4 months
scalasbtsbt-plugin
carlpulley/volatility
Sep 2011 - Nov 2011
Contributions:105 commits in 1 month
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.