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

Blockchain Technology & Robotics 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
Mar 10, 2024: Delivered an invited talk entitled "Recent Trends in Blockchain Technology" in the International Conference on Women in Multifaceted Research (ICWMR 2024), organised by Gopal Narayan Singh University, Rohtas, Bihar (March 10, 2024).
Mar 1, 2024: Delivered an invited talk entitled "Formal Analysis and Verification of Blockchain Smart Contracts" in the International Symposium on Security Engineering for Trusted Cyberspace (ISSETC 2024), organised by CDAC Patna at Rajgir, Bihar (Mar 1, 2024).
Feb 29, 2024: Congratulation to my Ph.D. student Md. Tauseef Alam for receiving best poster presentation award (CSE) in Research Scholar Day 2024!
Jan 27, 2024: Delivered an invited talk entitled "Blockchain Technology and Its Role in the Sustainability of Supply Chain Management" in one day Webinar on "Recent trend in AI and Blockchain Technology Application in Supply Chain Management to meet Sustainable Development Goals", organized by Operational Research Society of India Durgapur Chapter (Jan 27, 2024).
Nov 27, 2023: Delivered an invited talk entitled "Bitcoin Working Principle: Transactions, Validation, and Mining" in the FDP organized by VIT Vellore (Nov 27, 2023).
Oct 11, 2023: Delivered an invited talk entitled "Safety and Security Issues in Ethereum Decentralized Application and Possible Preventive Measures" in the FDP organized by G H Raisoni Institute of Engineering and Business Management, Jalgaon (Oct 11, 2023).
July 10, 2023: Delivered an invited talk entitled "Introduction to Bitcoin and Blockchain Basics" in the DST SERB-sponsored workshop organized by Punjab Engineering College Chandigarh (July 10, 2023).
July 01, 2023: Work entitled "FedRLChain: Secure Federated Deep Reinforcement Learning with BlockChain " is accepted for publication in "IEEE Transactions on Services Computing" (Core Ranking: A*). Congratulation to the team!
May 18, 2023: Delivered an invited talk entitled "Safety & Security Issues in Ethereum Decentralized Application and Possible Preventive Measures " in the FDP organized by Tulsiramji Gaikwad - Patil College of Engineering & Technology, Nagpur (May 18, 2023).
Apr 3, 2023: Delivered an invited talk entitled "Blockchain Technology and Its Applications" in 3-day workshop on Cyber Crime and Cyber Law organized by Mizorum University (3rd Apr 2023).
Feb 15, 2023: Delivered an invited talk entitled "Safety and Security issues in Ethereum Decentralized Application and Possible preventive measures" in FDP organized by NITTTR Chandigarh (15th Feb 2023).
Jan 3, 2023: Delivered an invited talk entitled "Introduction to Bitcoin consensus" at Kamaraj College of Engineering and Technology, Tamil Nadu (3rd Jan 2023).
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 2023 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: Completed

  • 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: Completed

  • Title: LIFTchain: Development of Language-Independent Formal Method Toolchain for Efficient and Verified Blockchain Smart Contracts
    Principal Investigator: Dr. Raju Halder
    Sponsored Agency: Core Research Grant, Science & Engineering Research Board (SERB), DST, Govt. of India
    Status: Ongoing

  • Title: Metasurance: Blockchain-based Insurance Administration System with ML-Driven Dynamic Pricing for New Metaverse Products
    Principal Investigator: Dr. Raju Halder
    Co-Investigators: Dr. Rajendra N. Paramanik (IIT Patna), Mr. Chandra Mohan Kumar (Capgenimi India Limited), and Mr. ThiruVasagam (Thinman Websolvers India Limited)
    Sponsored Agency: IBITF (Technology Innovation Hub), IIT Bhilai
    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. Kartik Kaushik (Jointly with Dr. Samrat Mondal)
Broad Area: Blockchain Technology

to align

Ms. Maitri Kushwaha (Visvesvaraya Project Fellow)
Broad Area: Blockchain Technology

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

Bhabya Mohanty, Ayush Kumar Jain, Arnab Mukherjee, 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


Course Taught/Teaching

  • Blockchain Technology: A Software Engineering Perspective
  • Introduction to Blockchain and Cryptocurrency
  • Foundation of Blockchin Technology and Its Application Landscape
  • Formal Methods for Analysis and Verification
  • Principles of Programming Languages
  • Foundation of Theoretical Computer Science
  • Formal Language \& Automata Theory
  • Compilers
  • Design and Analysis of Algorithms
  • Discrete Mathematics
  • Relational Databases
  • Introduction to Computing
  • Programming and Data Structures

Short-Term Courses Organised

  • Short-term CEP course on "Introduction to Robotics: Mechanics, Control, and Programming" at IITP (26-28th October 2018)
  • Three short-term courses on ``Introduction to Blockchain Technology: Cryptocurrency and Beyond'' at IITP under AICTE Training and Learning Programme (14 - 18th Dec 2019, 26 - 30 May 2020, and 20 - 24 Dec 2020)
  • 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)
  • 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)

Invited Talk

  • Delivered invited talk on "Blockchain Technology" in the following short-term courses under AICTE Training and Learning (ATAL) Programme:
    • "Blockchain Technology" at National Power Training Institute (NPTI), Durgapur, West Bengal (Sept 5-6, 2019)
    • "Blockchain Architecture Design and Use Cases" at Gudlavalleru Engineering College (AP) (Aug 2020)
    • "Blockchain Technology using Hyperledger Fabric and Ethereal" at NIT Meghalaya (Oct 5-6, 2020)
    • "Blockchain Technology - Future of Cyber Security" at Excel Engineering College, Tamil Nadu (Jan 18 2021)
    • "Security in Decentralized Systems and Smart Contracts" at NIT Meghalaya (Mar 15-16, 2021)
    • "Blockchain Technology and Its Applications" at IIITDM Kancheepuram (Dec 6, 2021)
    • "Blockchain and its Security Perspectives" at IIIT Guwahati (Dec 6-10, 2021)
    • "Smart City: Emerging Technologies for the Next Decade and Beyond" at NIT Raipur (Sept 21, 2022)
    • "Blockchain Technology" at Army Institute of Technology, Pune (Oct 13, 2022)
  • Delivered invited talk on "Robot Operating System (ROS)" in the following short-term courses under AICTE Training and Learning (ATAL) Programme:
    • "Robotics" at Gujarat Technological University (Oct 30, 2020)
    • "Mobile Robotics" at IIT Patna (18 June 2021, 23 Sept 2021)
    • "Robotics and Artificial Intelligence" at LBRCE, Mylavaram, Andhra Pradesh (Feb 10, 2022)
  • Delivered invited talk on "Blockchain Technology" in
    • Bihar State Student Convention, in collaboration with Computer Society of India, at NSIT-Bihta, Bihar (Nov 16, 2019)
    • IEEE International Conference on Computer, Electrical & Communication Engineering (ICCECE) organised by TIU Kolkata (Jan 16, 2020)
    • TEQIP-sponsored FDPs by AKU Patna (July 6-10, 2020) and GEC Aurangabad (July 18-22, 2020)
    • QIP Sponsored Short Term Course "Blockchain: Business Foundations and Solution Architectures" at IIT Indore (Mar 24-25, 2021)
    • International Symposium on Blockchain Technology, BIET, Hyderabad (July 13, 2021)
    • National Seminar on Cyber-crime and Cyber-law at Mizorum University (Apr 3, 2023)
    • High-end Workshop (KARYASHALA) on "Cryptocurrency and Blockchain Technology: Fundamentals, Programming and Case Studies" at Punjab Engineering College Chandigarh (July 10, 2023)
    • One Day Webinar on "Recent trend in AI & Blockchain Technology Application in Supply Chain Management to meet Sustainable Development Goals", by ORSI Durgapur Chapter (Jan 27, 2024)
    • International Conference on Women in Multifaceted Research (ICWMR 2024), GNSU, Rohtas, Bihar (March 10, 2024)
  • Delivered invited talk on "Blockchain Technology for Cyber-Security and Safeguarding Electronic Payments" in Cyber Jagrookta Diwas, the Ministry of Education, Govt. of India (May 4, 2022)
  • Delivered invited talk on "Formal Analysis and Verification of Blockchain Smart Contracts" in International Symposium on Security Engineering for Trusted Cyberspace (ISSETC 2024), CDAC Patna, Rajgir, Bihar (Mar 1, 2024)

Professional Activities

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

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

Program Committee Member:
ICBC 2024/ MEDI 2023/ 2022/ 2021/ 2019, FDSE 2023/ 2022/ 2021/ 2020/ 2019/ 2018/ 2017/ 2016/ 2015, DATA 2023/ 2022/ 2021/ 2020/ 2019/ 2018/ 2017/ 2016/ 2015, ACSS 2024/ 2023/ 2022/ 2021/ 2019/ 2018/ 2017/ 2016/ 2015/ 2014, CISIM 2024/ 2023/ 2022/ 2021/ 2020/ 2019/ 2018/ 2017/ 2016/ 2015/ 2014/ 2013, SKM 2021/ 2019, 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, Blockchain: Research and Applications, Journal of Computer Languages, ACM Distributed Ledger Technologies: Research and Practice, Springer Information Systems Frontiers, Springer Artificial Intelligence Review, Journal of Systems and Software, International Journal of Web Information Systems

(External/Invited) Conference Reviewer:
ICECCS'24, ICBC'24, TASE'22, FM'19, SAS'11/SAS'14, MEDI'19/''21-23, FDSE''15-18/'20-23, DATA'15-18/'20-22, ACSS'15-18/'21-24, CISIM'13-19/ '21-24, SKM'19/'21, ICACCI'15-18, SSCC'15/'17-18, iSES'19/'21, AIR'21, ICCCS'20, SmartDataServices'20, ICCCI'23


Latest update: Mar 15, 2024.