Researcher · Engineer

Abhijit Paul

Engineer at Samsung R&D Institute Bangladesh and Lead Researcher at BARTA Lab, University of Dhaka. My research sits at the intersection of Provable Trustworthy Computing, AI, and HCI — with a focus on developing theory for practical applications.

Privacy AI Safety Formal Methods HCI Systems
✉ bsse1201@iit.du.ac.bd ⌥ GitHub ◎ Google Scholar ⬡ BARTA Lab 🚌 Bus Koi
Abhijit Paul
Software Engineer Samsung R&D Inst.
Bangladesh

News

Publications

Grants & Funding

Grants I secured

Advanced Research Fund (ARF) — Samsung Research
~3,000,000 BDT · 36 man-months · 2024
Awarded for "Testing of On-device AI via Formal Methods." Only the 2nd ARF secured by SR Bangladesh since 2009 — secured as an undergraduate intern in 7th semester.
Seed Funding — Bus Koi (DU Bus Tracking System)
20,000 BDT · Dr. Naushin Nower, University of Dhaka · 2024
Low-cost privacy-preserving bus tracking for 5,000+ DU students. Version 1 being acquired by NCP Bangladesh for 170,000 BDT.

Grants I contributed to as a researcher

International Mother Language Institute (IMLI) Grant — IMLI, Bangladesh
Received by BARTA Lab, University of Dhaka · 2025
Contributed to design and implementation of an automated Bangla NLP tool with junior students, under Prof. Ahmedul Kabir. The tool is deployed at IMLI.
NSF Grant — ACOSUS (Award #2219623)
Received by SUNY Old Westbury · Joint project across 5 US universities · 2024
Contributed NLP analysis of Reddit communities as part of the AI-driven counseling system for underrepresented transfer students project.

Technical Skills

Formal Methods

TLA+, Alloy, Coq, Maude, LTSA, SMT Solvers (Z3), FSP, LTS, First-Order Logic

Languages

Python, C, C++, Rust, Java, JS/TS, SQL, Bash, R, Solidity, E-Lisp, PHP

ML / NLP

PyTorch, Scikit-Learn, BNLTK, llama.cpp, Transformers, RAG, MCP, OpenCV

Systems & Tools

Docker Swarm, Linux/UNIX, Azure Cloud, MongoDB, MySQL, MEAN Stack, Git