Researcher · Engineer

Abhijit Paul

Engineer at Samsung R&D Institute Bangladesh. My research sits at the intersection of Provable Guarantees, AI Safety, and NLP — with a focus on provably trustworthy computing, human-interpretable formal specs, and language tools for low-resource Bangladeshi communities.

Provable Trustworthy Computing Formal Methods NLP Software Engineering

✉ bsse1201@iit.du.ac.bd ⌥ GitHub ◎ Google Scholar

Software Engineer Samsung R&D Inst.
Bangladesh

News

Feb 2026 🎓 Government Scholarship — Undergraduate in Software Engineering, Bangladesh.
Jul 2025 AI PoC received highest votes in Samsung R&D Institute Bangladesh's internal contest. Patent filed on Smart Home Routine Optimization using Formal Methods.
Feb 2025 Joined Samsung R&D Institute, Bangladesh full-time. Working on Formal Ontology with Oxford Semantics (acquired by Samsung).
Jun 2024 💰 Secured Advanced Research Fund (ARF) from Samsung Research (~3,000,000 BDT). Only the 2nd ARF from SR Bangladesh since 2009.
Sep 2024 🎓 Awarded Mitsubishi UFJ Foundation Scholarship Program FY 2024, Japan.
Jul 2024 🏆 Team received Best Innovator Team Award Q1 — Samsung R&D Institute, Bangladesh.
Nov 2023 🥈 1st Runners-Up — ITVerse 2.0 Blockchain Segment, University of Dhaka. 📷 Photo
Oct 2023 🥉 2nd Runners-Up — Notre Dame Inter-University Ideathon Contest. 📷 Photo
Jun 2023 🥈 1st Runners-Up — Deep Learning Sprint 2.0, BUET. 📷 Photo
Dec 2020 🏆 Champion — Datathon, Coding Object Private Limited, India. 📷 Photo
2015–17 🎓 Government Scholarship — Higher Secondary Certification Examination, Bangladesh.

Publications

ECIR'26 · A-Ranked · 2025

How Information Retrieval Systems Construct and Amplify Biased Narratives

Z. Masud, A. Paul, I. Bhageri

IR FairnessDemographicsNLP

To be Presented ↗
TyDe @ ICFP'25 · A* · 2025 · Solo Author

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints

A. Paul

AI SafetyFormal MethodsPLT

Workshop ↗
ICJR-I'25 · 2025

Temporal Analysis of the Gap Between Media Narratives and Public Sentiment During Bangladesh's July Revolution

A. Paul, S. Rahman, T.H. Abir, Z. Masud, A. Kabir, S. Rayana

Computational JournalismNLP

Conference ↗
arXiv · 2025 · 3 citations

State-of-the-Art Translation of Text-to-Gloss using mBART: A Case Study of Bangla

S.M. Abdullah, A. Paul, S. Rayana, A. Kabir, Z. Masud

Sign LanguageBangla NLP

ACL Reviews ↗
arXiv · Under Revision, ICSE Workshop · 2024

Towards Bridging Formal Methods and Human Interpretability: Evaluating Human Comprehension of LTS Designs

A. Paul, P. Chowdhury, K. Sakib

Formal MethodsHCISoftware Engineering

arXiv ↗
arXiv · 2024

Where Journalism Silenced Voices: Discrimination in the Representation of Indigenous Communities in Bangladesh

A. Paul, A. Khisa, Z. Masud, S.M. Abdullah, A. Kabir, S. Rayana

Media AnalysisFairnessNLP

arXiv ↗
DLSprint'23 Technical Report · 2023 · 1 citation

Bengali Document Layout Analysis — A YOLOv8 Based Ensembling Approach

N.S. Ahmed, S.S. Noor, A.I.S. Sikder, A. Paul

Computer VisionDocument AI

Technical Report ↗

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.

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