Raju HalderDr. Raju Halder holds a PhD in Computer Science from Ca’ Foscari University of Venice, Italy. He is currently an Associate Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Patna, India. Meanwhile, he hs served as a post doctoral researcher with Macquarie University, Australia, and University of Minho, Portugal. Recently, he was honored with "Visiting Professor 2023 at National Polytechnic Institute of Toulouse (TOULOUSE INP), France”. Dr. Halder has more than 12 years of experience in teaching and research. His primary research interests span Formal Methods, Program Analysis and Verification, Blockchain and Smart Contracts, Machine Learning and AI. His research work has been published in a number of reputed journals and International Conferences, including IEEE transactions on Software Engineering, IEEE Transactions on Service Computing, IEEE Transactions on Computational Social Systems, Science of Computer Programming, ACM SAC, IEEE ICBC, IEEE Blockchain, KDD, and WWW. Read More Read Less