- ๐ 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.