Raju Halder Raju Halder Raju Halder
Dr. Raju Halder
Assistant 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 612 3028009

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


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 Formal Methods for Analysis and Verification, Blockchain and Smart Contract, Programming Languages, Information Systems Security, etc. In particular, we applied the Abstract Interpretation framework to the security analysis and verification of database applications. Some highlights of my publications are:

  • Formal Verification of Database Applications.
  • Semantics-based Dependency Analysis of Database Applications.
  • Hierarchical and Abstraction-based Blockchain Model.
  • Analysis & Verification of Safety & Security Properties of Robotics Software.
  • Information Flow Security Analysis of Database Applications.
  • Static Analysis & Verification of Hibernate Query Language.
  • Observation-based Fine Grained Access Control of Data.
  • Abstract Interpretation of Database Query Languages.
  • Semantics-based Program Slicing Refinements, etc.
To View Full List of Publications
>> Click here.

News Updates
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 Viva-voce examination on "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". 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.
  • Best Paper Award in ACSS 2015.
  • 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


Research Scholars Guided/Guiding

Mr. Md. Imran Alam
- Broad Area: Formal Methods for Analysis and Verification

Mr. Fajge Akshay Madhukarrao (under Visvesvaraya PhD Scheme)
- Broad Area: Blockchain and Smart Contract (Formal Methods)

Ms. Swagatike Sahoo
- Broad Area: Blockchain Applications

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

Mrs. Supriya Shakya
- Broad Area: Blockchain Security

Mr. Rajeswar Yadav
- Broad Area: Robotics

Ms. Sapana Rani & Mr. Dileep K. Khosley (Part-time)
- Broad Area: Privacy and Security Issues in Information Systems

Mr. 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

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

  • Introduction to Blockchain and Cryptocurrency (Sub. Code CS577):
    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):
    Autumn 2019, Autumn 2018, Autumn 2017, Autumn 2016, Autumn 2015, Autumn 2014.

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

  • 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 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 "Robotic Operating System (ROS)" in the CEP Short Term Course on "Introduction to Robotics: Mechanics, Control, and Programming" (with Dr. Atul Thakur) (26 - 28th October, 2018).

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

  • Five-days course on "Introduction to Blockchain Technology: Cryptocurrency and Beyond" at IITP under AICTE Training and Learning Programme (14 - 18th Dec, 2019 and 26 - 30 May 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 Programme (5-6 Oct 2020).

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


Professional Activities

Member of Professional Bodies:
IEEE, ACM SIGSOFT

Conference Session Chair:
ACOMP 2016, C3IT 2015, FDSE 2014.

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

(External/Invited) Journal Reviewer:
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, International Journal of Data Science and Analytics, Scientific Research and Essays, Communications and Computer Security, Computer Communication & Collaboration

(External/Invited) Conference Reviewer:
FM 2019, MEDI 2019, FDSE 2020/18/17/16/15, CISIM 2019/18/17/16/15/14/13, DATA 2020/18/17/16/15, ACSS 2021/18/17/16/15, ICACCI 2018/17/16/15, SSCC 2018/17/15, ICCCS 2020, ICIA 2020, SmartDataServices 2020, SKM 2019, SAS 2014/11, IEEE INDICON 2013.


Latest update: Nov 03, 2020.