Writings

Getting started with the world of Formal Methods/ Verification, April 11, 2019
Memoir of My Overall Experience with the Rust Programming Language, November 17, 2021
Two Sides of The Coin, July 30, 2023