Waqas Younas
Software engineer in Lahore who writes on formal methods, books and ideas.
At a glance
Also on this page: Key facts · Links · Sources · Related pages
- Waqas Younas is a software engineer based in Lahore, Pakistan.
- He has helped build and scale software systems as a founder and as an engineer at companies including HubSpot and Customer.io.
- He writes about distributed systems, model checking and formal methods on his blog, and about technology, history, books and films on his Substack, Thoughts of an imprint.
Key facts
- Based in
- Lahore, Pakistan3
- Worked at
- HubSpot and Customer.io, as an engineer; also a founder1
- Interests
- Distributed systems, formal verification, model checking, software quality1
- Writes
- Thoughts of an imprint, a Substack on technology, writing, history, books and movies2
Links
Sources
Last checked against its sources today
Is something on this page wrong or out of date? Tell us
How recent
The line under a date fills as time passes: empty when new, then one equal share each for a day, a week, a month and a year. For episodes and other items it is full at 2 years; for "last checked", at a year. A striped line means the date is known only to the month or year.