Senior Software Engineer (Distributed Systems) at Pipekit.io
Melbourne, Victoria, Australia
Join Prog.AI to see contacts
Join Prog.AI to see contacts
Summary
🤩
Rockstar
🎓
Top School
Isitha Subasinghe is a Senior Software Engineer in Melbourne with nine years' experience building distributed systems, compilers, and operating-system level tooling. Currently at Pipekit, he helps operate a distributed orchestration platform built on Argo Workflows and contributes upstream to the widely used Argo open-source project. His research stints at ETH Zürich and UNSW focused on formal verification and seL4-based OS work, and he has contributed to Verus, adding Unicode string support to a verified Rust fork. Past roles span real-time graph analytics, high-throughput text classification (2 billion events/day on two servers), and performance-focused front-end and AWS work for national-scale projects. Comfortable moving between research and production, he blends low-level systems rigor with pragmatic distributed engineering. Colleagues describe him as a programmer who thinks like a computer scientist—curious, detail-oriented, and adept at hard systems problems.
9 years of coding experience
4 years of employment as a software developer
Master's degree, Computer Science, Master's degree, Computer Science at ETH Zürich
Contributions:13 reviews, 20 commits, 11 PRs in 1 month
Contributions summary:Isitha focused on adding support for unicode strings and implementing related features. Their work involved modifying core files related to the string representation and type system of the Verus language. The contributions include adding new functions, modifying existing functions and adding tests to ensure the string manipulation functions work as intended.
Contributions:512 reviews, 14 commits, 227 PRs in 11 months
Contributions summary:Isitha Subasinghe made significant contributions to the Argo Workflows project, focusing on a range of backend and infrastructure improvements. They implemented new features, such as adding a priority field to submit options, while also fixing critical bugs related to path validation in the GCS driver. Furthermore, they refactored code related to container sets, dag execution, and cron workflow functionalities. Additionally, they handled release and dependency upgrades.
kubernetesworkflow-engineworkflowargodag
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.