Soares Chen
Lead Software Engineer at MaybeVoid
Leipzig, Saxony, Germany
Summary
🤩
Rockstar🎓
Top SchoolSoares Chen is a Lead Software Engineer with 12 years of experience, currently building next-generation LLM inference infrastructure in Rust while leading the Context-Generic Programming effort to bring modular paradigms to Rust. He is a specialist in programming language theory, type systems, and formal methods, applying that expertise across blockchain, web platform testing, and machine learning projects. A prolific open-source contributor, he has strengthened security and modularity in high-profile Rust projects like the IBC relayer Hermes and tendermint-rs, and improved WebRTC test coverage in the Web Platform Tests suite. He favors correctness-by-construction—using strong types and formal verification—and designs software for rapid prototyping and easy composability. Based in Leipzig, Germany, he combines deep academic interests (Haskell, compiler design) with pragmatic engineering across production systems. An understated strength is his talent for refactoring error handling and time semantics to make distributed systems both safer and easier to evolve.
12 years of coding experience
11 years of employment as a software developer
KTH Royal Institute of TechnologyBComp Computer Engineering, BComp Computer Engineering at National University of Singapore
Github Skills (17)
javascript10
testing10
tendermint10
bc10
blockchain10
error-handling10
rust10
webrtc10
test-automation10
cosmos9
security9
test-runner9
cryptography9
rpc9
html8
Programming languages (13)
Github contributions (5)
informalsystems/hermes
Apr 2021 - Jan 2023
IBC Relayer in Rust
Role in this project:
Back-end Developer & Security Engineer
Back-end Developer & Security EngineerContributions:333 reviews, 785 commits, 224 PRs in 1 year 9 months
Contributions summary:Soares's commits primarily focus on enhancing the security and stability of the IBC relayer in Rust. This includes implementing a proper timestamp type and handling potential errors, alongside improving the accuracy of time comparisons. The user also contributed to the modularization of the project by moving the timestamp module to the root crate and refactoring the error handling. Additionally, the user worked on returning port ID information, reflecting a contribution towards improving data retrieval from the system.
rustblockchainibccosmosrelayer
informalsystems/tendermint-rs
Aug 2021 - Feb 2022
Client libraries for Tendermint/CometBFT in Rust!
Role in this project:Back-end Developer
Back-end DeveloperContributions:32 reviews, 66 commits, 21 PRs in 6 months
Contributions summary:Soares primarily focused on refactoring and improving the `tendermint-rs` client libraries, which are written in Rust. Their work involved significant changes to error handling by integrating `flex-error` across multiple modules. They also updated dependencies like `chrono` and refactored the code to use `DateTime` instead of `SystemTime`, and made adjustments to improve `no_std` compliance. Additionally, the user contributed to the implementation of the `block_search` RPC endpoint.
ethereumrustblockchaintendermintcometbft
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.