Uma Zalakain
Software Engineer at Pirum
Glasgow, Scotland, United Kingdom
Summary
👤
Senior🎓
Top SchoolUma Zalakain is a software engineer with 11 years’ experience who combines deep academic expertise in formal verification and functional programming with hands-on Scala production work. She has driven architecture and product-quality improvements at ITV on a purely functional backend (cats, cats-effect, fs2) powering high-traffic news services, and now contributes at Pirum. Her research background includes a PhD and Microsoft Research work on typed, distributed data structures with mechanised proofs, and she has contributed verified proofs to the widely used Agda standard library. Comfortable across cloud-native stacks (AWS, Docker, Kubernetes, Kafka, PostgreSQL) and property-based testing, she excels at simplifying complex systems and mentoring teams in FP practices. Colleagues know her for turning ad-hoc solutions into principled, reusable designs informed by theorem-backed rigor.
11 years of coding experience
3 years of employment as a software developer
Bachelor of Science - BS, Computer Science, First class honours, Bachelor of Science - BS, Computer Science, First class honours at University of StrathclydeDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of Glasgow
Github Skills (9)
formal-verification10
agda10
data-structure9
data-structures9
algorithms8
standard-library7
common-library7
proof7
c-library7
Programming languages (16)
Github contributions (5)
agda/agda-stdlib
Jul 2020 - Aug 2020
The Agda standard library
Role in this project:
Backend Developer
Backend DeveloperContributions:9 commits, 11 PRs, 28 comments in 1 month
Contributions summary:Uma primarily contributed to the Agda standard library by adding and proving properties for various functions and data structures. Their work included proofs related to injectivity, list manipulation (reverse, any), and vector operations (take, lookup). The contributions focused on enhancing the library's completeness and reliability through formal verification techniques.
dependent-typesagdahomotopy-type-theorystandard-library
umazalakain/Awesome-CV
Dec 2016 - May 2024
Contributions:15 pushes, 1 branch in 7 years 6 months
templatelatex-templatejoblatexjob-application
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.