- π Currently, I'm dedicating my efforts as a maintainer for the Strimzi project. Explore more at Strimzi.io.
- π¬ Reach out to me via my LinkedIn: .
- π On a journey of discovery about formal verification methods, always eager to absorb new knowledge and explore rigorous system validations.
- βοΈ Visit my Blog: see-quick.github.io
- π» Actively contributing to various interesting open-source projects, always looking for new challenges and collaborations.
NOTE: Top Languages does not indicate my skill level or anything like that, it's a GitHub metric of which languages have the most code on GitHub. It's a new feature of github-readme-stats.