Dr. Prateek Srivastava
Associate Professor
RESEARCH AREA
System modelling, refinement of distributed systems, verification, and reasoning of critical properties using B, Event-B formal techniques, and deep learning
EDUCATION
AWARDS/HONORS
Dr. Prateek Srivastava received his B.Tech., and M.Tech. in Computer Science and Engineering from Uttar Pradesh Technical University in 2004 and 2010, respectively. He received his Doctorate in Computer Science and Engineering from Sir Padampat Singhania University in 2015. Dr. Prateek Srivastava has been honoured by IEEE with senior membership. Four PhD scholars have been awarded degrees under the guidance of Dr. Srivastava. More than fifteen research papers have been published by him in various reputed journals and conferences. He has also organised international and national conferences. Dr. Srivastava is the author of two books published by an international publisher. Presently, he is guiding two PhD scholars from the Computer Science and Engineering Department. His key research areas are: system modelling, refinement of distributed systems, verification and reasoning of critical properties using B, Event-B formal techniques, and deep learning.
RESEARCH DETAILS
ORCID ID: 0000-0003-1446-2022
Scopus ID: 56405060400
Google Scholar ID: https://scholar.google.co.in/citations?user=lQ6EVO71z9kC&hl&hl=en
ResearchGate: https://www.researchgate.net/profile/Prateek-Srivastava-30
The application process at Graphic Era is strictly based on the Merit of the qualifying examination with the entire Admission Process available for completion online