The LNM Institute of Information Technology

personal_information Photo

Md Imran Alam

imran.alam@lnmiit.ac.in

Date of joining:

Department:

Computer Science Engineering


Summary


Biography


Research Area

Formal Methods for Program Analysis and Verification, Database Applications, Blockchain, Smart Contracts, and Machine Learning.

Personal information

Name

Designation

Department

ORCID

Scopus_link

Website

Dr. Md Imran Alam

Assistant Professor

Computer Science Engineering

Education

Degree/DiplomaInstitute/ OrganizationYearBranch/Specialization
1Ph. D. Doctor of PhilosophyIndian Institute of Technology Patna2021Computer Science and Engineering (Formal Methods)
2M. Tech. Master of TechnologyIndian Institute of Technology Patna2015Computer Science and Engineering
3B.E. Bachelor of EngineeringVisvesvaraya Technological University, Belgaum2010Computer Science and Engineering

Experience

Name of OrganizationPost/DesignationDuration FromDuration To
1GLA University Mathura, UPAssistant Professor20212022
2Ca' Foscari University, Venice, ItalyResearcher20202021
3Anjuman Institute of Technology and Management, KarnatakaAssistant Professor20102013

Publications

1 Sambit Satpathy, Adithya Padthe, Munesh Chandra Trivedi , Vishal Goyal, Vineet Kansal, Md Imran Alam, A Novel Approach: FPGA based Internet-of-Things-Enabled method for PreScreening and prediction of Diseases, Journal of Network Modeling Analysis in Health Informatics and Bioinformatics. Springer, 2022 [Accepted] MAY 2022, A Novel Approach: FPGA based Internet-of-Things-Enabled method for PreScreening and prediction of Diseases, Journal of Network Modeling Analysis in Health Informatics and Bioinformatics. Springer, 2022 [Accepted] MAY 2022 ,
2 Md. Imran Alam, Raju Halder, Jorge Sousa Pinto, A deductive reasoning approach for database applications using verification conditions, Journal of Systems and Software, Volume 175:110903. Elsevier Ed., 2021 MAR 2021, A deductive reasoning approach for database applications using verification conditions, Journal of Systems and Software, Volume 175:110903. Elsevier Ed., 2021 MAR 2021 ,
3 Md. Imran Alam and Raju Halder, Formal Verification of Database Applications using Predicate Abstraction. SN Computer Science, Volume 2(3): 1-24. Springer, 2021 JAN 2021, Formal Verification of Database Applications using Predicate Abstraction. SN Computer Science, Volume 2(3): 1-24. Springer, 2021 JAN 2021 ,
4 Md. Imran Alam, Raju Halder, Tailoring Taint Analysis for Database Applications in the K Framework, In International Conference on Data Science, Technology and Applications (DATA '21), Pages 370-377. Lieusaint, Paris, France, 6-8 Jul 2021. SciTePress JULY 2021 IndexedIn : [Scopus] DOI : DOI: 10.5220/0010618603700377,

Expert lectures

MonthYearInformation
1June2022Expert lecture on " Formal Verification of Software Using Deductive Reasoning" in GIAN Course entitled "A Proof and Refinement based Development for Cyber-Physical Systems" at IIT Patna, June 2022. JUN 2022

Workshop attended

TypeMonthYearInformation
1WorkshopApril2021Trends in Distributed Ledger Technologies, ITASEC 2021, Università degli Studi di Camerino, Italy
2Conference - NationalJune2021Verified software: tools and experiments, Isaac Newton Institute for Mathematical Sciences, Cambridge, United Kingdom.
3Short Term CourseDecember20194th SAT + SMT School, IIT Bombay
4Short Term CourseDecember20172nd SAT + SMT School, Infosys, Mysore, Karnataka
5Short Term CourseMarch2016Sixth Indian School on Logic and its Applications, PSG College of Technology, Coimbatore
6TrainingDecember20161st SAT + SMT School, TIFR, Mumba
7Conference - NationalJanuary2015POPL 2015-The 42nd ACM SIGPLAN-SIGACT, Symposium on Principles of Programming Languages, TIFR, Mumbai, India