π
Ritam Raha
Home
About
Publications
Talks
Service
Miscellaneous
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:
Scroll down