Raju Halder received his doctoral degree from the Università Ca' Foscari Venezia, Italy, in 2012. He is an associate professor in the Department of Computer Science and Engineering at IIT Patna, India. Before joining IIT Patna, he served as a post-doctoral researcher at Macquarie University, Australia. He worked with the Robotics team at HASLab (University of Minho), Portugal, in 2016. Prior to his PhD, he also worked as an associate system engineer at IBM India Pvt. Ltd. from 2007 to 2008. His areas of research interest include formal methods, blockchain technology, program analysis and verification, and AI/ML.