Formal Methods in Verification

Topic · Physical Sciences › Computer Science › Computational Theory and Mathematics

Highest h-index (OpenAlex)

1. Sumit Gulwanih-index 63
2. Sriram Rajamanih-index 55
3. Matthias Althoffh-index 54
4. Ashish Tiwarih-index 50
5. Jacob Abrahamh-index 49

Researchers

• Aakash Chauhan
• Aalok Thakkar Ashoka University
• AAMIR KHAN
• Aarti Gupta Princeton University
• Abhinandan panda
• Abhisek Midya Radboud Universiteit
• Abhishek Bichhawat Indian Institute of Technology Gandhinagar
• Abhishek De University of Birmingham
• Abhishek Kulkarni Worcester Polytechnic Institute
• Abhishek Kumar Singh
• Adam Thorpe
• Aditya Dev Mishra
• Aditya Kanade
• Ajith John
• Akash Lal Microsoft Research (India)
• Akshay kumar jaiswal National Institute of Technology Hamirpur
• Alok Jain Pandit Deendayal Energy University
• Amaldev Manuel
• Amit Gurung
• Amol M Khatkhate Rizvi College of Engineering
• Amrita Chatterjee
• Amrutha Benny Indian Institute of Technology Palakkad
• Anand Chavan Dhirubhai Ambani University
• Anand Yeolekar
• Ananya Mukherjee International Institute of Information Technology
• Andrew Gill Kanda University of International Studies
• Angshuman Jana Indian Institute of Information Technology Guwahati
• Anindya Das Vehere Interactive Pvt. Ltd.
• Anirban Majumdar Tata Institute of Fundamental Research
• Aniruddha Joshi
• Anitha Murugesan Honeywell Aerospace
• Anjali Joshi marathwada Mitra Mandal Institute of Technology Lohagaon Pune
• Ankit Shukla Johannes Kepler University of Linz
• Ankush Das Boston University
• Anonymous
• Ansuman Banerjee
• Antara Ain
• Anubhav Gupta
• Anubhav Srivastava
• Anuj Kumar Goel Chandigarh University
• Anup Bandyopadhyay Jadavpur University
• Anurag Singh GD Goenka University
• Arijit Shaw Chennai Mathematical Institute
• Aritra Hazra
• Arjun Anand
• Arpit Sharma
• Arpita Dutta National University of Singapore
• Arvind Adimoolam
• Aryan Vinod Shankar SRM Institute of Science and Technology
• Aseem Rastogi Microsoft Research (India)
• Dr. Ashish Kumar Singh Chitkara University
• Ashish Mishra Purdue University West Lafayette
• Ashish Tiwari Microsoft Corp
• Ashutosh Gupta U P Rajarshi Tandon Open University Prayagraj
• Ashutosh Gupta Indian Institute of Technology Bombay
• Ayan Banerjee Arizona State University
• B Srivathsan Chennai Mathematical Institute
• Bharat Adsul
• Bhaskar adepu Kakatiya Institute of Technology and Science
• BHOOMIKA CHAUDHARY BHOOMIKA Chaudhary Charan Singh University
• Bijoy Antony Jose Cochin University of Science and Technology
• Chana Weil-Kennedy
• Chandan Karfa
• Chandan Kumar Jha
• Chittaranjan Mandal Indian Institute of Technology Kharagpur
• Christoph M. Wintersteiger Imandra
• Daniel Simon
• Dawood Khan
• Debapriyay Mukhopadhyay
• Debiprasanna Sahoo Indian Institute of Technology Bhubaneswar
• Deepak Garg Max Planck Institute for Software Systems
• Devaprakash Muniraj Virginia Tech
• Dr. Devesh Bhatt Govind Ballabh Pant University of Agriculture and Technology
• Devleena Ghosh Indian Institute of Engineering Science and Technology
• Dipankar Sarkar Universidad Autónoma de Madrid
• Divakar Yadav
• Divya Rathore
• Divyanjali Sharma
• Divyanshi Goyal
• Divyesh Unadkat
• Drishti Yadav University of Luxembourg
• G. Venkatesh
• Gaurav Parthasarathy ETH Zurich
• Gautam Muduganti
• Gourav Takhar Indian Institute of Technology Kanpur
• Gourinath Banda
• guo xie Xi'an University of Technology
• Dr. Harsh Arora
• Hassan Haghighi
• Himanshu Chauhan Nirma University Institute of Management
• Himanshu Jain
• Hrishav Das Indian Institute of Astrophysics
• Indranil Saha
• Jacob Abraham The University of Texas at Austin
• Jayanthi J Manipal University Jaipur
• Jayneet Jain
• Nascimento JPM; Nascimento, JPM; Nascimento, J.P.M.; Nascimento J.P.M.;do Nascimento, J.P.M. Universidade Federal de Alagoas
• Jinesh M. Kannimoola
• Joost N. Kok
• Junhyeok Yoon
• kADIYALA RAGHAVENDRA
• Kandasamy Muniasamy
• Karthik Maddala Indian Institute of Technology Guwahati
• Karthika Venkatesan
• Kartik Nagar Indian Institute of Technology Madras
• Khushraj Madnani Max Planck Institute for Software Systems
• Kiran Kumar Mandrumaka Anurag University
• Komal Pathade
• Koushil Sreenath
• Krishna Shankara Narayanan Indian Institute of Technology Bombay
• Kritika Anand
• Kshitij Bansal
• Kshitij Goyal
• Kumar Madhukar Indian Institute of Technology Delhi
• Kusum Lata LNM Institute of Information Technology
• Lakshmanan Balasubramanian Institution of Engineering and Technology
• Lalatendu Behera Indian Institute of Technology Guwahati
• Lalatendu Behera
• Lei Qiao
• LOKANNA KADAKOLMATH Global Academy of Technology
• Madhavan Mukund
• Malay Ganai Indian Institute of Tropical Meteorology
• Malvin Gattinger University of Amsterdam
• Manish Gaur Indian Institute of Information Technology Una
• Manish Prajapat
• Manoranjan Satpathy Indian Institute of Technology Bhubaneswar
• Manu S Hegde
• Matteo Turchetta
• Matthias Althoff
• MAURIZIO GABBRIELLI University of Bologna
• Mayank Rawat Indian Institute of Technology Kanpur
• Meenakshi D'Souza International Institute of Information Technology
• Melanie DUCOFFE
• Milind Sohoni University at Buffalo
• Minakshi Kalita Gauhati University
• Mir Md Sajid Sarwar Indian Institute of Technology Bhubaneswar
• MITRABINDA RAY SOA Deemed to be University
• Mohammed Abderehman
• Mohit Garg
• Mohit Srinivasan Ford Motor Company
• Monika Rani Golla National Institute of Technology Warangal
• Muddassar Sindhu
• Mukesh Tiwari
• N Kumar Swamy ISBM University
• Dr Nadeem Akhtar University of the Punjab
• Nalin Kumar Charles University
• Dr. Nandan N Shenoy PES INSTITUTE OF TECHNOLOGY AND MANAGEMENT
• Neelam Gupta
• Neeraj Kumar Singh INPT-ENSEEIHT/IRIT
• Neetu Jindal
• Nikhil Anand
• Nikhil Singh Max Planck Institute for Software Systems
• Nisha Pal Motilal Nehru National Institute of Technology
• Nitesh Trivedi
• NITIN KUMAR SRM Institute of Science and Technology - Delhi NCR Campus
• Oleg Surkov IndrasNet OÜ
• Om Swostik Mishra Indian Institute of Technology Bombay
• Omkar Tuppe
• Paritosh Pandya Tata Institute of Fundamental Research
• Partha P Chakrabarti Indian Institute of Technology Kharagpur
• Pavithra Prabhakar University of New Mexico
• Peva Blanchard
• Philipp G. Haselwarter Aarhus University
• POOJA BENIWAL
• POOJA CHOUDHARY BML Munjal University
• Pooja Madhusoodhanan Texas Instruments (India)
• Dr.Pooja Singh
• Pradeep Kumar Mahato Indian Institute of Technology BHU
• Pranjal Bhatia UNSW Sydney
• Pranshu Gaba Tata Institute of Fundamental Research
• Prantik Chatterjee
• Prateek Gupta Indian Institute of Technology
• PRATEEK MISHRA KIIT University
• Praveen Tiwari Indian Institute of Technology Guwahati
• Preeti
• Pritam Choudhury
• Dr. Pritam Gharat Microsoft Research (India)
• Pritam Roy
• PRIYANKA PANIGRAHI Indian Institute of Technology Dhanbad
• Purandar Bhaduri
• Pushpak Jagtap Indian Institute of Science Bangalore
• Qin Li East China Normal University
• R Govind
• R Ramanujam
• R Venkatesh Ramalingam
• Radha Krishna Pisipati
• Raghuraj Singh Suryavanshi
• Dr. Rahul Karmakar University of Burdwan
• Rahul Kumar Indian Institute of Management Calcutta
• RAHUL KUMAR Indian Institute of Technology Patna
• Rahul Kumar
• Rahul razdan
• Rahul Sharma
• Raj Kumar Gajavelly
• Rajarshi Roy University of Liverpool
• Rajdeep Mukherjee Indian Institute of Technology Kharagpur
• Rajeev Verma
• Rajeswari Devadoss
• Raju Halder Indian Institute of Technology Patna
• Rakesh Kumar University of Alberta
• RAM CHANDRA BHUSHAN GITAM University
• Ram Viswanathan
• Dr Rama Kant
• Ramanuj Chouksey Vellore Institute of Technology University
• Ramchandra Phawade Indian Institute of Technology Dharwad
• Ramesh S General Motors R&D
• RAMESH YENDA
• Ramneet Kaur
• Ramprasath S Indian Institute of Technology Madras
• Ranganathan Hariharan Gojan School of Business and Technology
• Gautham Shenoy R Advanced Micro Devices
• Ranjana Nallamalli
• Ratnangshu Das
• Ratnesh Iowa State University
• Raveendra Kumar Medicherla Tata Consultancy Services (India)
• Ravindra Metta Tata Consultancy Services (India)
• Reema Patel Indian Institute of Information Technology (IIIT)
• Rekha Pai
• Ridha Fathima Mohideen Malik Université Côte d'Azur
• Ridhi Jain
• Rohit Dureja Iowa State University
• Rong Su Nanyang Technological University
• Rudra Prakash Indian Institute of Technology Delhi
• Rudrapatna Shyamasundar Indian Institute of Technology Bombay
• Rumpa Hazra
• Samik Basu
• Sandeep Chandran Indian Institute of Technology Palakkad
• Sandeep Kulkarni Michigan State University
• Sandeep K. Shukla
• SANGHARATNA GODBOLEY National Institute of Technology Warangal
• Sanjay Singh Manipal Academy of Higher Education
• sankar subramanian Arulmigu meenakshi amman college of engineering
• santosh biswas
• Sarita Singh
• Saumya Shankar International Institute of Information Technology Bangalore
• Saurav Ghosh
• SAUVIK GON Indian Association for the Cultivation of Science
• Sayan Mukherjee IITB Trust Lab
• Sayantan Das University of Mysore
• SENTHIL KUMARAN Vellore Institute of Technology University
• Shaofeng Li Xidian University
• Shashank Pathak
• Shaunak Chatterjee
• Sheema Madhusudhanan
• Shibashis Guha Tata Institute of Fundamental Research
• Shimmi Asokan
• Shishir Kolathaya
• Shivam Saini
• Shivani Tripathy
• Shouvik Dey
• Shrawan Kumar
• Shreyas Gupta
• Shrisha Rao International Institute of Information Technology Bangalore
• Shubham Sharma Nutanix (United States)
• Siddhartha Mukhopadhyay Indian Institute of Technology Kharagpur
• Siddhasagar Pani
• Siddhasen R Patil Zeal College of Engineering and Research
• Siraj Ahmed Shaikh Swansea University
• Smitha Gautham Virginia Commonwealth University
• Soham Banerjee
• Soumyadip Bandyopadhyay Birla Institute of Technology and Science
• Soumyajit Dey Indian Institute of Technology Kharagpur
• Soumyajit Paul
• Sourav Das Centre for Railway Information Systems
• Sparsa Roychowdhury Clausthal University of Technology
• srinivas pinisetty Indian Institute of Technology Bhubaneswar
• Sriram Rajamani
• Subhajit Roy Indian Institute of Technology Kanpur
• Subir Roy
• Sucheta Pradhan The University of Melbourne
• Sudakshina Dutta
• Sudipa Mandal
• Sujit Kumar Chakrabarti International Institute of Information Technology
• Sujit Kumar Muduli
• Suman Roy Oracle (India)
• Sumana Ghosh Indian Statistical Institute
• SUMANTA DEY
• SUMATHI GOKULANATHAN Vellore Institute of Technology University
• Sumit Gulwani
• Sumit Kumar Jha University of Florida
• sungeetha Dakshinamurthy
• Supratik Chakraborty Indian Institute of Technology Bombay
• Surajit Das IIT Guwahati Technology Innovation and Development Foundation
• Suresh Kumar N CAPE College of Engineering Alappuzha
• Susmit Sarkar University of St Andrews
• Suvam Suvabrata Behera
• Swaraj Sha Indian Institute of Technology Bhubaneswar
• Tom Huck
• Tomasz Mazurkiewicz Military University of Technology in Warsaw
• Toral Shah School of Technology management and Engineering
• Trevor J. Bird Purdue University West Lafayette
• Uday Khedker Indian Institute of Technology Bombay
• Uddalok Sarkar Indian Statistical Institute
• Usman Ali
• Vaibhav Krishan Indian Institute of Technology Bombay
• Vaibhav Sharma Amazon (United States)
• Vaishnavi Sundararajan Indian Institute of Technology Delhi
• Varsha P Suresh International Institute of Information Technology Bangalore
• Vasu Singh Nvidia (United States)
• VASU SINGH Indian Institute of Technology Delhi
• VEENA BHARTI RKGIT
• Vijay Garg The University of Texas at Austin
• Vimala Soundarapandian
• Vini Kanvar
• vivek srivastava
• Waqar Ahmad National University of Science and Technology
• Wolfgang Roesner
• Yasir Imtiaz Khan University of North Carolina Charlotte College of Computing and Informatics
• Yogananda Jeppu Manipal Academy of Higher Education
• Yujie Yang University of Hong Kong

Directory / Subjects / Computer Science / Computational Theory and Mathematics / Formal Methods in Verification