Subhajit Paul | Research Engineer — Formal Verification & AI

paul@debian: ~

subhajit@portfolio:~$fetch --profile

Subhajit Paul — Research Engineer at the Indian Statistical Institute, Kolkata

subhajit@portfolio

──────────────────

NameSubhajit Paul (শুভজিৎ পাল)RoleResearch Engineer @ Indian Statistical Institute, KolkataFocusFormal Verification × Agentic AI · EDA · Multi-Agent RLEduB.Tech CSE, The Neotia University (2024)LocationKolkata, IndiaLinksgithub scholar linkedin mail

subhajit@portfolio:~$ls publications/

LISA.pdfISVLSI 2025

# LLM-Informed SystemVerilog Assertion Generation

SuperSAGA.pdfASP-DAC 2026

# Supervisor-Subordinate Agent for Assertion Generation

Reconciliation.pdfACSOS 2025

# LLM-Guided Reconciliation for Explainable Robotic Path Planning

VISTA.pdfACM JETCunder review

# Agentic Workflow for Formal Verification Environment Synthesis

subhajit@portfolio:~$cat ongoing.txt

› Multi-Agent Reinforcement Learning — coordination & credit assignment

› LLM agents that plan, reason & self-correct for EDA verification