My research interest are broadly in the area of Blockchain Technology and Formal Methods. My interest lies in creating the trust (without third-party interference) in society by utilizing the Formal Methods concept along with Blockchain. My goal is to provide innovative and optimized solutions that can benefit our society as a whole.
Formal Verification of Pub-Sub Blockchain Interoperability Protocol using Stochastic Timed Automata
MT Alam, R Halder, A Maiti
Frontiers in Blockchain 6, 1248962
Blockchain Domain-Specific Languages: Survey, Classification, and Comparison
MT Alam, S Chowdhury, R Halder, A Maiti
2021 IEEE International Conference on Blockchain (Blockchain), 499-504
MT Alam, K Raza
Translational Bioinformatics in Healthcare and Medicine, 81-96
GIAN(MHRD) workshop on Cloud Data Center Service Provisioning Jawaharlal Nehru University New Delhi(29th Jan-9th Feb 2018)
Github and Matlab workshop Jamia Millia Islamia New Delhi
Spacial data analytics and wireless sensor networks University of Delhi New Delhi
Data analytics and Internet of Things University of Delhi New Delhi
ATAL FDP on Blockchain at IITP (20 -24 Dec 2020)
Participated in the online experiment of the SIM scientific project of Université Côte d'Azur, France (to study the perception of professionals of blockchain technology)
Paper Presented at 2021 IEEE International Conference on Blockchain (Blockchain)
GIAN(MoE) workshop on A Proof and Refinement based Development for Cyber-Physical Systems Indian Institute of Technology Patna, Bihar (20th June-1st July 2022)
GIAN(MoE) workshop on A Guided Tour to Static Program Analysis: State-of-the-Art Tools and Techniques Indian Institute of Technology Patna, Bihar (4th April-15th April 2022)
Participated in workshop on SAT+SMT Indian Institute of Technology Madras, Chennai (15-17 Dec 2022)
Poster presented at RSD 2024, Indian Institute of Technology Patna, Bihar (29th Feb 2024)
Awarded best poster presentation at RSD 2024, Indian Institute of Technology Patna, Bihar (29th Feb 2024)
Computer Society of India — Seminar on Emerging Trends in Informatics and Computing
NSIT-Bihta, Bihar (23rd-24th September 2024)
Jury member of Coding challenge
IEEE Student Branch — Indian Institute of Technology Patna, Patna
June 2023 - present
Event Management and Sponsorship Lead
RSD 2022 — Indian Institute of Technology Patna, Patna
March 2022
Photography and Sponsorship team
Alumni meet(Milestone 2019) — Jamia Millia Islamia, Delhi
November 2019
Coordinated and helped in the event organization.
Teknothon@2018 Coordinator — Jamia Millia Islamia, Delhi
March 2018
Coordinated the event organization like workshops for github and linux. Held event of BUG-Finding.