Md Hasanul Islam

A short, current summary of my research interests and work(more details can be found on my Research page):

• Distributed systems & consensus: designing and analyzing consensus protocol, optimizing latency and throughput, heterogeneous concensus protocol, CRDTs, WRDTs etc.
• Type theory, automated theorem prover and LEAN: formal verification of distributed protocols and systems using proof assistants like LEAN.
• Integrating machine learning with formal methods: exploring the combination of machine learning techniques and formal languages like LEAN to enhance explainability and verification of ML system.

Selected publications / outputs

• Faster Algorithms for Grid and Layered Drawings of Plane 3-Trees Undergraduate thesis work; Published at COCOA 2024. (Algorithmic improvement on minimum-area planar drawings.)

• Software Engineer — Priyo (June 2024 - July 2025): cross-border payments, Django/Next.js, ELK, Docker & CI/CD.
• Undergraduate in Computer Science and Engineering — Bangladesh University of Engineering and Technology (BUET), Graduated May, 2024;
• Awards: Multiple ICPC / IUPC placements; Mathematical Olympiad runner-up; Codeforces max 1951.