Sometimes Rarely, I pen down my musings in my blog. You can find my blog here.

Check out this YouTube video I made with Kush Grover to introduce Model Checking to school kids: