$ whoiam

> Hola, I am Subhajit Paul from Howrah, West Bengal, India. I am a recent Computer Science graduate with a major in Data Science. I love building systems that solve real-world problems at the intersection of engineering and creativity.

> Currently, I have been involved in the field of Formal Verification — applying Machine Learning and Graph Neural Networks. Most recently, I have been building LLM-powered automation flows for generating and fixing SystemVerilog Assertions (SVA), aiming to reduce human effort and saving humanity from disaster by catching bugs at the earliest.

> I enjoy reading research papers, exploring Bengali thriller novels, and creating development-focused tools in my spare time.