Prateek Srivastava

About

Dr. Prateek Srivastava is a faculty member in the Department of Computer Science and Engineering. He received his B.Tech. and M.Tech. degrees in Computer Science and Engineering from Uttar Pradesh Technical University in 2004 and 2010, respectively, and earned his Ph.D. in Computer Science and Engineering from Sir Padampat Singhania University, Udaipur in 2015. Dr. Srivastava is a Senior Member of IEEE. He has successfully supervised four Ph.D. scholars who have been awarded their doctoral degrees and is currently guiding three Ph.D. scholars. He has published more than fifty research papers in reputed international journals and conference proceedings. He has also organized several national and international conferences and has authored two books published by an international publisher. His research interests include system modelling, refinement of distributed systems, formal methods (B and Event-B) for the verification and reasoning of critical system properties, and deep learning. He is committed to advancing research in formal verification, intelligent systems, and emerging computing technologies while actively contributing to academic and research initiatives.

Employment

• Graphic Era Hill University PROFESSOR
  2021 - Present

Education

• Sir Padampat Singhania University Modelling Fault Resistant Moving Sequencer Based Atomic Broadcast In Distributed Systems.
  2011 - 2015

Projects & Funding

Projects & funding information is unavailable.

Publications (19)

• Identification of Brain Stroke using Boosted Random Forest
  2022 International Conference on Advances in Computing, Communication and Materials, ICACCM 2022 2022 8 citations DOI: 10.1109/ICACCM56405.2022.10009527
  +Save
• Classification of Corn Leaf Diseases using Various Pre-trained Deep Learning Networks and Performance Comparison
  2022 International Conference on Advances in Computing, Communication and Materials, ICACCM 2022 2022 11 citations DOI: 10.1109/ICACCM56405.2022.10009476
  +Save
• Assessing travellers perception levels towards select online travel agents (TA) in India using netnography and text mining
  Indian Journal of Computer Science and Engineering 2021 0 citations DOI: 10.21817/indjcse/2021/v12i1/211201183
  +Save
• Corn Leaf Disease Identification with Improved Accuracy
  CEUR Workshop Proceedings 2021
  +Save
• Evaluation of consumer reviews for adidas sports brands using data mining tools and twitter APIs
  International Journal of Service Science, Management, Engineering, and Technology 2021 4 citations DOI: 10.4018/IJSSMET.2021110106
  +Save
• Formal Model of Crash Tolerant Moving Sequencer Atomic Broadcast (UUB based)
  CEUR Workshop Proceedings 2021
  +Save
• Literature Review of Lean Methodology and Research Issues for Identifying and Eliminating Waste in Software Development
  Smart Innovation, Systems and Technologies 2021 4 citations DOI: 10.1007/978-981-33-4443-3_36
  +Save
• Reinventing HR functions with SMAC technologies- an exploratory study
  Materials Today: Proceedings 2021 18 citations DOI: 10.1016/j.matpr.2020.10.875
  +Save
• Netno-mining: Integrating text mining with netnographic analysis to assess the perception of travelers using select OTA services in India
  International Journal of Engineering Trends and Technology 2020 3 citations DOI: 10.14445/22315381/IJETT-V68I9P217
  +Save
• Netnography and text mining to understand perceptions of indian travellers using online travel services
  International Journal of Advanced Computer Science and Applications 2020 4 citations DOI: 10.14569/IJACSA.2020.0110967
  +Save