Jekyll2026-05-25T10:05:28+00:00https://sakibshadman.com/feed.xmlSoftware Engineer and aspiring researcher in automated software verification, LLMs for requirements engineering, and trustworthy AI.