Waqas Younas' blog

Welcome!

Welcome to my blog :)

This is my little corner of the internet, where I talk about writing, technology, model checking and formal methods, and other topics that interest me.

Sometimes, I write about technical topics to understand them better. In other words, I’m just trying to follow Confucius’ advice: “I hear and I forget. I see and I remember. I do and I understand.”

These days, I am also exploring new work opportunities in the tech world. I have over 15 years of experience working in software companies as both a founder and an engineer (in companies such as HubSpot and Customerio).

Please feel free to reach out at waqas.younas@gmail.com.