João Chervinski
Research Engineer at University of Sydney
Melbourne, Victoria, Australia
Summary
👤
Senior🎓
Top SchoolJoão Chervinski is a Research Engineer based in Melbourne with eight years of experience specializing in blockchain systems, distributed protocols, and security, with strong Rust expertise. His work spans academia and industry, from a PhD at Monash—where he uncovered a major Monero privacy vulnerability and built benchmarking tools for Cosmos/IBC—to practical implementations like a multi-hop packet routing proof-of-concept for the Hermes Relayer. He combines protocol-level analysis with hands-on engineering, translating formal specs into working code and automation that cut test setup time by nearly fourfold. Comfortable with large-scale data analysis and performance tuning, he has published in top conferences (IEEE/IFIP DSN, ICBC) and routinely finds subtle protocol inconsistencies that impact cross-chain correctness.
9 years of coding experience
4 years of employment as a software developer
Bachelor's degree (Honours), Computer Science, First Class Honours, Bachelor's degree (Honours), Computer Science, First Class Honours at Universidade Federal do PampaAdvanced Diploma, Information Technology, Advanced Diploma, Information Technology at Instituto Federal FarroupilhaDoctor of Philosophy - PhD, Information Technology, Doctor of Philosophy - PhD, Information Technology at Monash University
English, Portuguese, Indonesian
Github Skills (8)
tendermint10
cosmos10
rust10
blockchain10
benchmarking6
communication-protocol5
security2
docker1
Programming languages (3)
Github contributions (5)
joaotav/forward-secrecy-workshop
Jul 2019 - Mar 2024
This repository contains scripts that aim to provide examples of security properties such as Perfect Forward Secrecy and Post-Compromise Security.
Contributions:60 pushes, 1 branch in 4 years 8 months
security
joaotav/array-inversions-counter
Oct 2017 - Mar 2024
Contributions:7 pushes, 1 branch in 6 years 5 months
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.