Raju Halder Raju Halder Raju Halder
Dr. Raju Halder
Associate Professor
Department of Computer Science & Engineering
Indian Institute of Technology Patna, Bihta-801106, Patna, Bihar, India
Email: halder[AT]iitp[dot]ac[dot]in


Office Room
R-406, 4th Floor, Block 3
Phone: +91 6115 233009

Programming LANguages & Robotics (PLANR) Lab
R-502, 5th Floor, Block 3
Phone: +91 6115 233889


Quick Links: Publications | Tools Developed
Jump To: Research & Publications | Education, Awards & Honours | Teaching | Professional Activities


Research & Publications

My current research interests are broadly in the areas of Blockchain Technology and Smart Contracts, Machine Learning and AI in/for Blockchain Technology, Blockchain for Cybersecurity, Formal Methods for Program Analysis and Verification, Information Systems Security, and Robotics. Some highlights of my publications are:

  • Blockchain Transactions' Waiting Time Prediction using Machine Learning.
  • Hierarchical and Abstraction-based Blockchain Model.
  • Blockchain Technology in Smart City Applications.
  • Analysis and Verification of Smart Contracts.
  • Automated Migration from Legacy Systems to Blockchain Systems.
  • Analysis & Verification of Robotics Software Properties.
  • Information Flow Security Analysis.
  • Deductive Reasoning & Model-based Verification of Database Applications.
  • Semantics-based Dependency Analysis of Database Applications.
  • Static Analysis & Verification of Hibernate Query Language.
  • Abstract Interpretation of Database Query Languages.
  • Semantics-based Program Slicing Refinements, etc.
To View Full List of Publications
>> Click here.

News Updates
Nov 5, 2022: Happy to share that Mr. Chandra Mohan Kumar (Director, Digital Practice, Financial Services Capgemini India Limited, Bengaluru) has delivered an interesting talk online entitled: "Metaverse and its Implication in Insurance Industry" for the students at IITP Patna. (5th Nov 2022).
Oct 13, 2022: Delivered an invited talk entitled "Blockchain Technology: Bitcoin Vs. Ethereum" in the AICTE-ATAL sponsored course at Army Institute of Technology, Pune (13th Oct 2022).
Sept 21, 2022: Delivered an invited talk on Blockchain Technology in the AICTE-ATAL sponsored course on "Blockchain in Smart City: Emerging Technologies for the Next Decade and Beyond" at NIT Raipur (21 Sept 2022).
Sept 10, 2022: Congratulations to my research team (Oindrila Bhadra, Swagatika Sahoo, and Chandra Mohan Kumar) for receiving BEST PAPER award at ACSS 2022. As reward, e-book gift voucher of 250 Euro from Springer Nature has been received.
Aug 2, 2022: Delighted to serve as an invited speaker in the FDP organized by Ajay Kumar Garg Engineering College, Ghaziabad, UP.
July 30, 2022: Congratulation! Mrs. Sapana Rani has successfully defended her PhD thesis entitled "Towards Persistency, Distributiveness and Data Format Independency in Database Watermarking". Wising her all the best for her new journey ahead!
July 14, 2022: Delivered an invited talk entitled "Blockchain Technology: A Potential Game Changer" online in the FDP organized by Haldia Institute of Technology, West Bengal.
July 10, 2022: Delivered an invited talk entitled "Blockchain Revolution: Reshaping the Digital World" online in the FDP organized by GITA Autonomous College, Bhubaneswar.
July 1, 2022: Succefully concluded online GIAN Course on "A Proof and Refinement based Development for Cyber-Physical Systems" at IIT Patna (June 20, 2022 - July 01, 2022).
May 31, 2022: We are going to organize a ten days ONLINE GIAN course on "A Proof and Refinement based Development for Cyber-Physical Systems" at IIT Patna from June 20, 2022 - July 01, 2022 sponsored by the Ministry of Education, Govt. of India. The foreign faculty is Dr. Neeraj Kumar Singh, Associate Professor in Computer Science at INPT-ENSEEIHT and member of the ACADIE team at IRIT, France (http://singh.perso.enseeiht.fr).
May 4, 2022: Cyber Jagrookta Diwas (Ministry of Education, Govt. of India): Delivered a talk online on "Blockchain Technology for Cyber-Security and Safeguarding Electronic Payments" (4 May 2022).
Apr 15, 2022: Succefully concluded online GIAN Course on "A Guided Tour to Static Program Analysis: State-of-the-Art Tools and Techniques" at IIT Patna (4 - 15 Apr 2022).
Apr 11, 2022: Congratulation to my Ph.D. student Md Tauseef Alam for receiving the Prime Minister's Research Fellowship (PMRF) in December 2021 cycle.
March 24, 2022: Congratulation to my Ph.D. student Fajge Akshay Madhukarrao for receiving best poster presentation award (CSE) in Research Scholar Day 2022!
Feb 10, 2022: Delivered an invited talk on ROS in the AICTE-ATAL sponsored course on "Robotics and Artificial Intelligence" at LBRCE, Mylavaram, Andhra Pradesh (10 Feb 2022).
Dec 30, 2021: We are going to organize a ten days ONLINE GIAN course on "A Guided Tour to Static Program Analysis: State-of-the-Art Tools and Techniques" at IIT Patna from 4 April 2022 - 15 April 2022 sponsored by the Ministry of Education, Govt. of India. The foreign faculty is Prof. Agostino Cortesi, full professor, Ca’ Foscari University of Venice, Italy.
Dec 10, 2021: Delivered invited talks on Blockchain Technology in the AICTE-ATAL sponsored course on "Blockchain and its Security Perspectives" at IIITG Guwahati (6-10 Dec 2021).
Dec 6, 2021: Delivered an invited talk on Blockchain Technology in the AICTE-ATAL sponsored course on "Blockchain Technology and its Applications" at IIITDM Kancheepuram (6 Dec 2021).
Oct 01, 2021: Congratulation! Md. Imran Alam has successfully defended his PhD thesis entitled "Formal Analysis and Verification of Database Applications for Safety and Security Properties". Wising him all the best for his new journey ahead!
Sept 23, 2021: Delivered a lecture on Robot Operating System (ROS) in the AICTE-ATAL sponsored Course on "Mobile Robotics" at IITP (23 Sept 2021).
Aug 25, 2021: Delivered an invited talk on "Blockchain Technology: A Potential Game Changer" online organized by G. N. S. University, Rohtas, Bihar.
July 13, 2021: Delivererd Keynote Talk on "Introduction to Blockchain Technology: A Potential Game Changer" in International Symposium on Blockchain Technology organized by Bharat Institute of Engineering and Technology, Hyderabad (13-15 July 2021)
June 18, 2021: Delivered a lecture on Robot Operating System (ROS) in the AICTE-ATAL sponsored Course on "Mobile Robotics" at IITP (18 June 2021).
March 16, 2021: Delighted to serve as invited speaker in QIP Sponsored Short Term Course on "Blockchain: Business Foundations and Solution Architectures" conducted by IIT Indore (24-25 March 2021).
March 20, 2021: Congratulation to my Ph.D. student Swagatika Sahoo for receiving best poster presentation award (CSE) in Research Scholar Day 2021!
March 16, 2021: Delighted to serve as invited speaker in AICTE-STTP on "Security in Decentralized Systems and Smart Contracts" conducted by NIT Meghalaya (15-16 March 2021).
Jan 30, 2021: Delivered an invited talk on "Blockchain Technology: A Potential Game Changer" online organized by Department of Computer Science, Theivanai Ammal College for Women (Autonomous), Villupuram.
Jan 18, 2021: Delivered a lecture on Blockchain Technology in ATAL FDP "Blockchain Technology - Future of Cyber Security" conducted by Excel Engineering College, Tamil Nadu (18 Jan 2021).
Dec 25, 2020: Work entitled "A Deductive Reasoning Approach for Database Applications using Verification Conditions" is accepted for publication in "The Journal of Systems & Software" (Core Ranking: A). Congratulation to the team!
Dec 24, 2020: Succefully concluded online ATAL Course on "Blockchain Technology" at IIT Patna (20 - 24 Dec 2020).
Nov 12, 2020: Delivered a lecture on Robot Operating System (ROS) in the CEP Short Term Course on "Mobile Robotics" at IITP (12 Nov 2020).
Oct 30, 2020: Delivered a lecture on Robot Operating System (ROS) in ATAL FDP on "Robotics" conducted by Gujarat Technological University (30 Oct 2020).
Oct 05, 2020: Delivered lectures for two days in ATAL FDP on "Blockchain Technology Using Hyperledger & Ethereum" conducted by NIT Meghalaya (5-6 Oct 2020).
Aug 17, 2020: Delighted to serve as invited speaker in AICTE-STTP on "Blockchain Architecture Design and Use Cases" conducted by Gudlavalleru Engineering College (AP) (Aug 2020).
July 22, 2020: Delighted to serve as invited speaker in two TEQIP-sponsored FDPs on "Blockchain Technology" conducted by AKU Patna (6-10 July 2020) and GEC Aurangabad (18-22 July 2020).
June 20, 2020: Delivered invited talk on "Blockchain Technology" online at SRM Institute Of Science And Technology Ramapuram (Chennai) on 20th June 2020.
Apr 3, 2020: We are going to organize a five days ONLINE FDP on "Introduction to Blockchain Technology: Cryptocurrency and Beyond" at IIT Patna from 26.05.2020 - 30.05.2020 under AICTE Training and Learning (ATAL) Programme.
Feb 22, 2020: Delivered talk on "Blockchain Technology: A Potential Game Changer" at International School of Management Patna.
Jan 16 & Feb 2, 2020: Delivered talk on "Blockchain Technology: A Potential Game Changer" at Techno India University (Kolkata) and MACET (Patna).
Jan 5, 2020: Two GIAN courses "A Proof and Refinement based Development for Cyber-Physical Systems" and "A Guided Tour to Static Program Analysis: State-of-the-Art Tools and Techniques" are accepted.
Dec 18, 2019: Delighted to receive grant under "Visiting Professor 2020 at National Polytechnic Institute of Toulouse (TOULOUSE INP), France".
Dec 18, 2019: Succefully concluded ATAL Course on "Introduction to Blockchain Technology: Cryptocurrency and Beyond" at IIT Patna. Few snapshots of the program can be found >> HERE
Nov 16, 2019: Delivererd Keynote Talk on "Introduction and Application of Blockchain Technology - An Overview" in Bihar State Student Convention held at NSIT, Bihta in collaboration with Computer Society of India (CSI)
Sept 10, 2019: We are going to organize a five days workshop on "Introduction to Blockchain Technology: Cryptocurrency and Beyond" at IIT Patna from 14.12.2019 - 18.12.2019 under AICTE Training and Learning (ATAL) Programme. No Registration Fee, Limited Seats, On First Come First Serve Basis. Registration Closed!
Sept 6, 2019: Delivered a talk on "Introduction and Application of Blockchain Technology - An Overview" at the Institution of Engineers (Durgapur Local Center), West Bengal.
Sept 5-6, 2019: Delivered lectures on "Blockchain Technology" under AICTE Training and Learning (ATAL) Program held at NPTI, Durgapur, West Bengal.
June 21, 2019: Congratulation! Angshuman Jana has successfully defended his PhD thesis entitled "Semantics-based Dependency Analysis of Database Applications by Abstract Interpretation". Wising him all the best for his new journey at IIIT Guwahati!
June 13, 2019: We are now hiring two JRF under IMPRINT-II Project "Development of Lizard-like Robotic Spy Surveillance System". Walkin Interview is on 15th July 2019. To know more >> Click Here
June 5, 2019: Work entitled "A Hierarchical and Abstraction-Based Blockchain Model" is accepted for publication in "Applied Sciences" as part of the Special Issue "Advances in Blockchain Technology and Applications". Congratulation to the team!
Sept 21, 2018: We are going to organize a three days Short Term (CEP) Course on "Introduction to Robotics: Mechanics, Control, and Programming" at IIT Patna from 26.10.2018 - 28.10.2018. To register: >> Click Here
July 24, 2018: Work entitled "Extending Abstract Interpretation to Dependency Analysis of Database Applications" is accepted for publication in "IEEE Transactions on Software Engineering" (Core Ranking: A*). Congratulation to the team!

Education, Awards & Honours

  • Researcher, HASLab (University of Minho), INESC TEC, Portugal (January 2016-December 2016).
  • Post-doctoral Researcher, Macquarie University, Australia (August 2012-December 2012).
  • Post-doctoral Researcher, Ca’ Foscari University of Venice, Italy (January 2012-July 2012).
  • Associate System Engineer, IBM India Pvt. Ltd., India (December 2007-August 2008).

  • Ph.D., Ca’ Foscari University of Venice, Italy (January 2009-December 2011).
  • Research Associate, Ca’ Foscari University of Venice, Italy (September 2008-December 2008).
  • M.Tech., University of Calcutta, India (July 2005-July 2007).

  • IBM AIX Certified.
  • Best Paper Award in CISIM 2011, ACSS 2015, IRIA 2021, ACSS 2022.
  • Received Research Fellowship from “INESC TEC, Portugal”.
  • Received Research Fellowship from “Ministry of Education, Universities and Research (MIUR), Italy”.
  • Received Grant under “Visiting Professor 2020 at National Polytechnic Institute of Toulouse (TOULOUSE INP), France”.


Sponsored Projects

  • Title: Information Leakage Analysis of Database Query Languages
    Principal Investigator: Dr. Raju Halder
    Sponsored Agency: Science & Engineering Research Board (SERB), DST, Govt. of India
    Status: Completed

  • Title: Development of Lizard-like Robotic Spy Surveillance System
    Principal Investigator: Dr. Raju Halder
    Co-Investigators: Dr. Atul Thakur (IIT Patna), Dr. Gourinath Banda (IIT Indore), Dr. Rajarshi Ray (IACS Kolkata), Dr. Ansuman Bhattacharya (IIT Dhanbad)
    Sponsored Agency: IMPRINT-II, Science & Engineering Research Board (SERB), DST, Govt. of India
    Status: Ongoing

  • Title: HealthChain: Blockchain-Based Decentralized Framework with AI-based Predictive Capabilities for Tracking Long-Term Impact of Health Pandemic
    Principal Investigators: Dr. Joydeep Chandra & Dr. Raju Halder
    Co-Investigator: Shailesh Kumar Shrivastava (DGRC, NIC, Patna)
    Sponsored Agency: Meity NIC
    Status: Ongoing

  • Title: Blockchain-based Secure Application Development in E-Governance (VRITIKA Training and Skill Internship Program)
    Principal Investigator: Dr. Raju Halder
    Sponsored Agency: Science & Engineering Research Board (SERB), DST, Govt. of India
    Status: Ongoing


Research Scholars Guided/Guiding

to align

Mr. Fajge Akshay Madhukarrao
Broad Area: Blockchain and Smart Contract (Formal Methods)

to align

Ms. Swagatika Sahoo
Broad Area: Blockchain Applications

to align

Mr. Sujit Chowdhury
Broad Area:Blockchain Applications

to align

Mr. Md Tauseef Alam (The Prime Minister's Research Fellow, Jointly with Dr. Abyayananda Maiti)
Broad Area: Blockchain Technology

to align

Ms. Medhasree Ghosh (Jointly with Dr. Jodeep Chandra)
Broad Area: Machine Learning and Blockchain

to align

Mr. Rajeswar Yadav (IMPRINT-II Project Fellow, Jointly with Gourinath Banda, IIT Indore)
Broad Area: Robotics

to align

Mr. Shashank Srivastava (Part-time, Jointly with Dr. Samrat Mondal)
Broad Area: Blockchain Applications

to align

Mr. Sudhir Kumar (Part-time, Jointly with Dr. Samrat Mondal)
Broad Area: Blockchain Applications

to align

Mr. Chandra Mohan Kumar (Part-time)
Broad Area: Blockchain Applications

to align

Dr. Md. Imran Alam
Thesis Title: Formal Analysis and Verification of Database Applications for Safety and Security Properties
Status: Ph.D. Degree Awarded. Initally worked with the SSV group at Ca’ Foscari University of Venice, Italy. Now Assistant Professor at LNM Institute of Information Technology, Jaipur.

to align

Dr. Angshuman Jana
Thesis Title: Semantics-based Dependency Analysis of Database Applications by Abstract Interpretation
Status: Ph.D. Degree Awarded. Currently Assistant Professor at IIIT Guwahati.


PG Students Guided/Guiding

Rutuj Waghare, Jagdish Mohekar, Vinay Kumar, Pallavi, Sufal Sikdar, Satish Kumar, Ankit Bhargava, Avinash Singh Chauhan, Manish Kumar Tiwari, Anupam Kumar, Susheel Kumar Maurya, Ashis Kumar Ranjan, Harshita Goswami, Shivi Patel, Bitopan Das, Md. Imran Alam, Dileep Kumar Koshley


Teaching

  • Blockchain Technology: A Software Engineering Perspective (Sub. Code CS578):
    Spring 2022.

  • Introduction to Blockchain and Cryptocurrency (Sub. Code CS577):
    Autumn 2022, Autumn 2021, Autumn 2020, Autumn 2019, Spring 2019.

  • Principles of Programming Languages (Sub. Code CS331):
    Spring 2020, Autumn 2016, Autumn 2015, Autumn 2014, Autumn 2013.

  • Formal Methods for Analysis and Verification (Sub. Code CS508):
    Spring 2021, Autumn 2019, Autumn 2018, Autumn 2017, Autumn 2016, Autumn 2015, Autumn 2014.

  • Foundation of Theoretical Computer Science (Sub. Code CS511):
    Spring 2021, Spring 2016, Spring 2015, Spring 2014.

  • Formal Language and Automata Theory (Sub. Code CS303):
    Autumn 2022.

  • Compilers (Sub. Code CS346):
    Spring 2017, Spring 2015, Spring 2013.

  • Design and Analysis of Algorithms (Sub. Code CS514):
    Spring 2019, Spring 2018.

  • Discrete Mathematics (Sub. Code CS206):
    Autumn 2021, Autumn 2020.

  • Database (Sub. Code CS354):
    Autumn 2018.

  • Introduction to Computing (Sub. Code CS101):
    Spring 2016, Spring 2013.

  • Programming and Data Structures (Sub. Code CS102):
    Spring 2018.

Short-term Courses

  • Taught a module on "Databases" in the training program held at IITP for the employees of building construction department under Govt. of Bihar (May 20 - June 08, 2013).

  • Taught "Robot Operating System (ROS)" in the CEP Short Term Courses on "Introduction to Robotics: Mechanics, Control, and Programming" and "Mobile Robotics" (with Dr. Atul Thakur) (28 Oct 2018, 12 Nov 2020).

  • Taught "Robot Operating System (ROS)" in AICTE Training and Learning (ATAL) FDP on "Mobile Robotics" (with Dr. Atul Thakur) (18 June 2021, 23 Sept 2021).

  • Taught "Blockchain Technology" for two days at NPTI (Durgapur, West Bengal) under AICTE Training and Learning (ATAL) Programme (2 - 6th September, 2019).

  • Five-days course on "Introduction to Blockchain Technology: Cryptocurrency and Beyond" at IITP under AICTE Training and Learning (ATAL) Programme (14 - 18th Dec 2019, 26 - 30 May 2020, 20 - 24 Dec 2020).

  • Five-days TEQIP-sponsored FDPs on "Blockchain Technology" by AKU Patna (6-10 July 2020) and GEC Aurangabad (18-22 July 2020).

  • Taught four modules in AICTE-STTP on "Blockchain Architecture Design and Use Cases" by Gudlavalleru Engineering College (AP) (Aug 2020).

  • Taught "Blockchain Technology" for two days at NIT Meghalaya under AICTE Training and Learning (ATAL) Programme (5-6 Oct 2020).

  • Taught a module on "Robot Operating System (ROS)" in AICTE Training and Learning (ATAL) FDP on "Robotics" conducted by Gujarat Technological University (30 Oct 2020).

  • Taught a module on Blockchain Technology in AICTE Training and Learning (ATAL) FDP "Blockchain Technology - Future of Cyber Security" conducted by Excel Engineering College, Tamil Nadu (18 Jan 2021).

  • Taught three modules in AICTE-STTP on "Security in Decentralized Systems and Smart Contracts" at NIT Meghalaya (15-16 Mar 2021).

  • Taught three modules in QIP Sponsored Short Term Course on "Blockchain: Business Foundations and Solution Architectures" at IIT Indore (24-25 March 2021).

  • Taught a module in AICTE Training and Learning (ATAL) FDP "Blockchain Technology and its Applications" at IIITDM Kancheepuram (6 Dec 2021).

  • Taught three modules in AICTE Training and Learning (ATAL) FDP "Blockchain and its Security Perspectives" at IIIT Guwahati (6-10 Dec 2021).

  • Taught a module on "Robot Operating System (ROS)" in AICTE Training and Learning (ATAL) FDP on "Robotics and Artificial Intelligence" conducted by LBRCE, Mylavaram, Andhra Pradesh (10 Feb 2022).

  • Taught few modules in the GIAN course "A Guided Tour to Static Program Analysis: State-of-the-Art Tools and Techniques" at IITP sponsored by Ministry of Education, Govt. of India (Apr 4-15 2022).

  • Taught few modules in the GIAN course "A Proof and Refinement based Development for Cyber-Physical Systems" at IITP sponsored by Ministry of Education, Govt. of India (June 20 - July 1 2022).

  • Taught two modules online in AICTE Training and Learning (ATAL) FDP "Smart City: Emerging Technologies for the Next Decade and Beyond" at NIT Raipur (21 Sept 2022).


Professional Activities

Member of Professional Bodies:
IEEE Senior Member (2022 - Present), IEEE Member (2015-2022), ACM SIGSOFT (2019), INSTICC (2019-2023)

Conference Session Chair:
BLOCKCHAIN 2022, DATA 2021, ICCCS 2020, ACOMP 2016, C3IT 2015, FDSE 2014.

Program Committee Member:
MEDI 2022/ 2021/ 2019, FDSE 2022/ 2021/ 2020/ 2019/ 2018/ 2017/ 2016/ 2015, DATA 2023/ 2022/ 2021/ 2020/ 2019/ 2018/ 2017/ 2016/ 2015, SKM 2021/ 2019, ACSS 2022/ 2021/ 2019/ 2018/ 2017/ 2016/ 2015/ 2014, CISIM 2022/ 2021/ 2020/ 2019/ 2018/ 2017/ 2016/ 2015/ 2014/ 2013, ICACCI 2018/ 2017/ 2016, SSCC 2018/ 2017/ 2015, iSES 2021, ICCCS 2020, iWML 2018 , FQM 2014.

(External/Invited) Journal Reviewer:
IEEE Transactions on Computational Social Systems, IEEE Transactions on Dependable and Secure Computing, IEEE Transactions on Industrial Informatics, IET Information Security, ACM Transactions on Computational Logic, IET Signal Processing, IEEE Transactions on Knowledge and Data Engineering, IEEE Transactions on Reliability, Springer Information Systems Frontiers, Springer Artificial Intelligence Review, Journal of Systems and Software, Sadhana, International Journal of Web Information Systems, Innovation and Research in BioMedical Engineering, International Journal of Data Science and Analytics.

(External/Invited) Conference Reviewer:
TASE'22, FM'19, MEDI'2019/'2021-22, FDSE'2015-18/FDSE'2020-22, DATA'2015-18/DATA'2020-22, SKM'2019/'2021, ACSS'2015-18/ACSS'2021-22, CISIM'2013-19/ CISIM'2021-22, ICACCI'2015-18, SSCC'2015/SSCC'2017-18, iSES'21, AIR'21, ICCCS'20, SmartDataServices'20, SAS'11/SAS'14, IEEE INDICON'13.


Latest update: July 15, 2022.