Ara Adkins
Chief Technology Officer at Tactile Metrology
Amsterdam, North Holland, Netherlands
Summary
🤩
Rockstar🎓
Top SchoolAra Adkins is a Chief Technology Officer and principal engineer with 11 years of experience blending deep research in type theory, formal verification, cryptography and runtimes with hands-on systems and ML work. Based in Amsterdam, Ara leads technology strategy at Tactile Metrology while running a consultancy (Reilabs) that tackles high-risk engineering problems and contributing to foundational open-source projects such as the Enso analytics platform. Known for setting up robust infrastructure and build systems, Ara combines rigorous academic training (First-class BSc, top of year) with practical delivery across high-performance systems and compilers. Outside core engineering, Ara is an experienced audio engineer and live-hardware tester for Ableton, bringing a rare cross-disciplinary skillset that spans sound design, soldering benches, and production-grade software. Colleagues describe Ara as a researcher-engineer who turns formal methods into production-ready systems and thrives on solving the kinds of problems most teams avoid.
10 years of coding experience
BSc, Computer Science, 1st - Top of the Year, BSc, Computer Science, 1st - Top of the Year at University of Bath
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (7)
sbt10
build-system10
interpreter10
scala10
version-control9
git9
language-design8
Programming languages (26)
Github contributions (5)
enso-org/enso
Jun 2019 - Oct 2021
Enso Analytics is a self-service data prep and analysis platform designed for data teams.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:445 reviews, 453 commits, 432 PRs in 2 years 4 months
Contributions summary:Ara primarily contributed to the Enso Analytics platform setup by creating the initial repository structure. This involved setting up the build configuration (build.sbt), adding documentation and issue templates, and configuring the project's style guidelines. They also set up the interpreter project and introduced a global scope, demonstrating a focus on the underlying infrastructure and foundational setup for the project.
polyglotjitfunctional-programminglanguage-designrts
iamrecursion/ish
Jun 2020 - Sep 2022
Linux shell for iOS
Contributions:71 pushes, 3 branches in 2 years 3 months
linuxiosmacosshelllinux-shell
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.