Anshul Verma
Banaras Hindu University, India
Dr. Anshul Verma received M.Tech. and Ph.D. degrees in Computer Science & Engineering from ABV-Indian Institute of Information Technology and Management Gwalior, India in 2011 and 2016, respectively. He has done Post-doctorate from Indian Institute of Technology Kharagpur, India in 2017. Currently, he is serving as Assistant Professor in Department of Computer Science, Institute of Science, Banaras Hindu University Varanasi, India. He has also serve as faculty in Department of Computer Science & Engineering at Motilal Nehru National Institute of Technology (MNNIT) Allahabad, India and National Institute of Technology (NIT) Jamshedpur, India, from 2015 to 2017. His research interests include Communication based train control systems, Automatic train control systems, Distributed systems, Formal verification, and Opportunistic networks.