Siddhartha Roy is working as an associate professor, in the Department of Computer Science and Engineering Department, at the University of Engineering and Management, Kolkata. His main research interests include machine learning, deep learning, Blockchain applications, and network security. He has published research papers in journals and conferences of national and international repute.Soumya Sen is presently working as an assistant professor, in A. K. Choudhury School of Information Technology, at the University of Calcutta, India. He has also worked in IBM India Pvt. Ltd, and RS Software. His industrial expertise includes ERP & Data Warehouse. His current research area interests are data warehouse and OLAP Tools, big data, service engineering, and distributed databases. He has around 85 research papers published in peer-reviewed journals and international conferences.Agostino Cortesi is currently working as a professor, in the Department of Environmental Sciences, Informatics and Statistics, at Ca' Foscari University, Italy. He has over 25 years of experience in software verification, having published over 150 articles in high-level international journals and international conference proceedings. His research interests focus on static analysis techniques, with particular emphasis on abstract interpretation.