Kyri Petrou

Senior Software Engineer at Ziverge

Melbourne, Victoria, Australia
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Kyri Petrou is a Senior Software Engineer based in Melbourne with five years of industry experience building and optimising containerised applications, CI/CD and data pipelines, and IaC deployments. He brings deep hands-on expertise in Scala (JVM), Python, Docker, PostgreSQL and IaC tools like CloudFormation, CDK and Terraform, and translates business requirements into pragmatic technical solutions. Kyri has progressed from research engineering (PhD-level electrical engineering) into leadership roles, most recently serving as Lead Software Engineer at Dixa and now at Ziverge. He is an active open-source contributor to high-profile Scala projects such as ZIO and Caliban, where his work focused on performance optimisations and modernising codebases for Scala 3. That background combines rigorous academic training with production-facing performance tuning, making him comfortable both with low-level concurrency improvements and large-scale deployment automation. Colleagues describe him as someone who ships reliable systems while quietly improving core libraries for long-term maintainability.
code5 years of coding experience
job7 years of employment as a software developer
bookMaster of Engineering (MEng), Electrical and Electronics Engineering, First Class, Master of Engineering (MEng), Electrical and Electronics Engineering, First Class at The University of Manchester
bookThe University of Melbourne
languagesGreek, English
github-logo-circle

Github Skills (20)

asynchronous10
dependency-management10
performance-monitor10
performance-analytics10
async10
zio10
wpgraphql10
performance-measurement10
scala10
effects10
performance-analysis10
wordpress-graphql10
performance-tuning10
graphql10
functional-programming10

Programming languages (9)

PowerShellTypeScriptJavaShellC++ScalaJavaScriptElixir

Github contributions (5)

github-logo-circle
ghostdogpr/caliban

Nov 2022 - Dec 2022

Functional GraphQL library for Scala
Role in this project:
userBack-end Developer
Contributions:348 reviews, 12 commits, 392 PRs in 1 month
Contributions summary:Kyri contributed to the Scala-based GraphQL library, primarily focusing on library updates and dependency management. Their work included updating Scala and library versions, such as Scala 3, http4s, and zio-query. They also worked on benchmark compilation and code optimization, indicating a focus on performance and maintenance of the project.
graphql-clientfunctional-programminggraphql-librarygraphql-serverscala
zio/zio

Nov 2022 - Mar 2025

ZIO — A type-safe, composable library for async and concurrent programming in Scala
Role in this project:
userBack-end Developer
Contributions:11 releases, 531 reviews, 438 PRs in 2 years 5 months
Contributions summary:Kyri primarily contributed to the ZIO project by addressing various issues and implementing performance optimizations. Their work involved fixing configuration issues related to sequences, implementing enhancements to the `FiberRuntime`, and optimizing the performance of `ZIO#fork` and `ZIO#absolve` methods. The user also focused on improving the performance of core data structures like `Chunk` and `FiberRefs`, as well as improving the performance of various ZIO methods.
functional-programmingqueuesstreamsasynchronicityasync
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.
Request Free Trial
Kyri Petrou - Senior Software Engineer at Ziverge