I am a passionate developer, avid reader and informal researcher.
I have been invested in testing distributed software systems across domains - database and file systems.

Intersection of software testing with logical programming paradigms, answer set programming and in general formal methods - has always caught my imagination.

Open to chat to discuss more to interested audience.