Logic, programming, and type systems

Topic · Physical Sciences › Computer Science › Artificial Intelligence

Highest h-index (OpenAlex)

1. Raghu Ramakrishnanh-index 66
2. Sumit Gulwanih-index 63
3. Rajiv Guptah-index 61
4. Sriram Rajamanih-index 55
5. Matthias Althoffh-index 54

Researchers

• Aalok Thakkar Ashoka University
• Aarti Gupta Princeton University
• Abhiroop Sarkar Chalmers University of Technology
• Abhishek Bichhawat Indian Institute of Technology Gandhinagar
• Abhishek Choudhary Project ILM (Integrative Linguistic Multiscript)
• Abhishek De University of Birmingham
• Abhishek Kulkarni Indiana University
• Abhishek Ray George Mason University
• Abhishek Tiwari University of Southern Denmark
• Aditi Nair Dwarkadas J. Sanghvi College of Engineering
• Aditya Anand Indian Institute of Technology Bombay
• Aditya Kanade
• Aditya Oak
• Aditya Salian Georgia Institute of Technology
• Ajay Singh Indian Institute of Technology Gandhinagar
• Ajith John
• Akash Lal Microsoft Research (India)
• Akriti Tripathi
• Akshay Bhosale University of Cambridge
• Albert Paul
• Alina Mishra
• Alok Jain Pandit Deendayal Energy University
• Aman Gupta
• Amit Gurung
• Amitabh Srivastava Unisys (United States)
• AMITKUMAR PATEL VIDYABHARTI TRUST COLLEGE OF BCA
• Amogh Prahalad Katti University of Petroleum and Energy Studies
• Amrutha Benny Indian Institute of Technology Palakkad
• Anand Tripathi
• Anand Yeolekar
• Ananya Mukherjee International Institute of Information Technology
• Angshuman Jana Indian Institute of Information Technology Guwahati
• Aniket Shivam Nvidia (United States)
• Anil Mishra
• Anil Saini Cedars-Sinai Medical Center
• Anirban Majumdar Tata Institute of Fundamental Research
• ankita
• Ankush Das Boston University
• Anshu Ranjan
• Anshu S Anand
• Ansuman Banerjee
• Anup Bandyopadhyay Jadavpur University
• Anupam Das University of Birmingham
• Aravinda Prasad
• Arijit Shaw Chennai Mathematical Institute
• Aritra Sengupta
• Arjun Suresh Amity University
• ARNAB DAS
• Arpit Sharma
• Arpita Dutta National University of Singapore
• Arun Chauhan
• Arunchandra Chandra
• Arundhati Walia
• Aryan Vinod Shankar SRM Institute of Science and Technology
• Aseem Rastogi Microsoft Research (India)
• Ashish Bhatt CSIR National Physical Laboratory of India
• 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
• Atul Kumar IBM Research - India
• Ayushi Sharma Purdue University System
• B Srivathsan Chennai Mathematical Institute
• B. Ramkumar
• Dr. Bala Dhandayuthapani V. University of Technology and Applied Sciences
• Bharath Narasimha Swamy
• Brahmaiah Gandham University of Trento
• Chana Weil-Kennedy
• Chandan Karfa
• Chittaranjan Mandal Indian Institute of Technology Kharagpur
• Christoph M. Wintersteiger Imandra
• Danish Ali Khan Northwest General Hospital & Research Centre
• Debashis Mukherjee
• Debpriyo Goswami
• Deepak Garg Max Planck Institute for Software Systems
• Devendra Prasad Dehradun Institute of Technology University
• Dibyendu Kumar Das CSIR-CMERI
• Dipankar Sarkar Universidad Autónoma de Madrid
• Dishank Mali Fergusson College
• Divakar Yadav
• Divya Rathore
• Divyanjali Sharma
• Divyanshi Goyal
• Divyesh Unadkat
• Durga Prasad Mohapatra National Institute of Technology Rourkela
• Evelyn Duesterwald
• Fahrurrozi Rahman University of Edinburgh
• Francesco Calimeri University of Calabria
• GANESH SELVARAJ SRM TRP Engineering College
• Gaurav Parthasarathy ETH Zurich
• Gautam Muduganti
• Gnanambikai Krishnakumar Indian Institute of Information Technology
• Gourav Takhar Indian Institute of Technology Kanpur
• Gourinath Banda
• Haoyu Li Google (United States)
• HARI GOVIND
• Hassan Haghighi
• Himanshu Chauhan Nirma University Institute of Management
• Himanshu Jain
• Himanshu Raj Institut de Physique Théorique
• Jagannath Singh
• Jaimandeep Singh National Forensic Sciences University
• Jayneet Jain
• Nascimento JPM; Nascimento, JPM; Nascimento, J.P.M.; Nascimento J.P.M.;do Nascimento, J.P.M. Universidade Federal de Alagoas
• jian zhai
• JIGAR JAIN
• Jinesh M. Kannimoola
• Johann-Christoph Freytag Humboldt-Universität zu Berlin
• Johns Vincent Amrita Vishwa Vidyapeetham
• Joost N. Kok
• Jyothi Vedurada
• K Gopinath
• K. R. Chowdhary Jai Narain Vyas University
• kADIYALA RAGHAVENDRA
• Karthika Venkatesan
• Kartik Nagar Indian Institute of Technology Madras
• KC Sivaramakrishnan
• Ke Bai
• Khushboo Chitre
• Komal Pathade
• Kshitij Bansal
• Kumar Madhukar Indian Institute of Technology Delhi
• Kumar Pratik
• Kunal Taneja Accenture Technology Labs
• Kush Jain
• Lei Qiao
• LOKANNA KADAKOLMATH Global Academy of Technology
• Madan Singh Maharaja Neempal Singh Government College Bhiwani
• Madhavan Mukund
• Madhusmita Sahu
• Mahalaxmi Palinje ATHARVA COLLEGE OF ENGINEERING
• Maithilee Patawar Indian Institute of Information Technology
• Malay Ganai Indian Institute of Tropical Meteorology
• Malika Acharya
• Malvin Gattinger University of Amsterdam
• Manas Thakur Indian Institute of Technology Bombay
• Manaswini Piduguralla Indian Institute of Technology Hyderabad
• Manish Gaur Indian Institute of Information Technology Una
• Dr. Manish Gupta Amity University - Gwalior Campus
• Dr. Manish Gupta Motilal Nehru National Institute of Technology
• Manoranjan Satpathy Indian Institute of Technology Bhubaneswar
• Manu PriyaDarshani Chasnalla Academy
• Manuel Mazzara
• Dr. Maria Zuraiz Shaheed Zulfiqar Ali Bhutto Medical University
• Mary Magdalene Jane F Dr NGP Arts and Science College
• Matthias Althoff
• MAURIZIO GABBRIELLI University of Bologna
• Mayur Jadhav CSMSS
• Meena Belwal Amrita Vishwa Vidyapeetham
• Meenakshi D'Souza International Institute of Information Technology
• Meetesh Kalpesh Mehta Indian Institute of Technology Bombay
• meghna sharma The NorthCap University
• Minhaj Ahmad Khan Bahauddin Zakariya University
• Modhuparna Manna
• Mohammad Raza Qatar Foundation
• Mohit Garg
• Dr. Mohit Pahwa LM Thapar School of Management
• MOIRANGTHEM SHUBHAKANTA SINGH Manipur University
• Monika Rani Golla National Institute of Technology Warangal
• Mrigank Pawagi Indian Institute of Science Bangalore
• Mudita Kohli Quark Software Inc
• Mukesh Tiwari
• N Kumar Swamy ISBM University
• Nalin Kumar Charles University
• Narendra Babu Chindanur Ramaiah Institute of Technology
• Neelam Gupta
• Neeraj Kumar Singh INPT-ENSEEIHT/IRIT
• Neha Kumari Jawaharlal Nehru University
• Nicola Olivetti Aix-Marseille Université
• Nigamanth Sridhar
• NIHARIKA PANDA
• Nikhil Mangrulkar Symbiosis Institute of Technology
• Nikhil Ranjan Nayak University of Warwick
• Nisha Pal Motilal Nehru National Institute of Technology
• Nitesh Trivedi
• Om Swostik Mishra Indian Institute of Technology Bombay
• Dr. Omar Khan Durrani Ghousia College of Engineering
• Omkar Tuppe
• Dr. PABITRA KUMAR TRIPATHY Kalam Institute of Technology
• Padma Dharishini M S Ramaiah University of Applied Sciences
• Paritosh Pandya Tata Institute of Fundamental Research
• Parva Mehrotra
• PS Anjana Indian Institute of Technology Hyderabad
• Pavithra Prabhakar University of New Mexico
• Pawan Kumar Hemwati Nandan Bahuguna Garhwal University
• Peter Van Roy UCLouvain
• Peva Blanchard
• Philipp G. Haselwarter Aarhus University
• Piyus Kedia
• Pooja Garg
• Pradeep Kumar Duraisamy Soundrapandian LTIMindtree India
• Pranshu Gaba Tata Institute of Fundamental Research
• Prantik Chatterjee
• Prasenjit Biswas OP Jindal University
• Prateek Gupta Indian Institute of Technology
• PRATEEK MISHRA KIIT University
• Pritam Choudhury
• Dr. Pritam Gharat Microsoft Research (India)
• Pritam Roy
• Priya Arundhati Sai Vidya Institute of Technology
• PRIYANKA PANIGRAHI Indian Institute of Technology Dhanbad
• Purandar Bhaduri
• R Govind
• R Ramanujam
• R Venkatesh Ramalingam
• Radha Krishna Pisipati
• Raghu Ramakrishnan
• Raghuraj Singh Suryavanshi
• Rahma MILI
• Dr. Rahul Karmakar University of Burdwan
• Rahul Krishnan
• Rahul Kumar Indian Institute of Management Calcutta
• RAHUL KUMAR Indian Institute of Technology Patna
• RAHUL PANWAR
• Rahul Sharma
• Raj Kumar Gajavelly
• Dr M Rajasekhar Reddy SASTRA University
• Rajdeep Mukherjee Indian Institute of Technology Kharagpur
• Rajeev Kumar Jawaharlal Nehru University
• Rajeev Kumar Pandey Johns Hopkins Medicine
• Rajesh Jayaprakash
• Rajeswari Purushothaman NIMS University
• Rajiv Gupta University of California
• Raju Halder Indian Institute of Technology Patna
• Rakesh Kumar University of Alberta
• Rakesh Nayak OP Jindal University
• Rakesh Verma University of Houston
• RAM CHANDRA BHUSHAN GITAM University
• Ram Viswanathan
• Dr Rama Kant
• Ramakrishna Upadrasta Inria Centre de Recherche Saclay Île-de-France
• Ramanuj Chouksey Vellore Institute of Technology University
• Ramchandra Phawade Indian Institute of Technology Dharwad
• Gautham Shenoy R Advanced Micro Devices
• Ranjan Hebbar Advanced Micro Devices Inc Austin
• RANJAN KUMAR Lalit Narayan Mithila University
• Rasil Raj P V Amrita Vishwa Vidyapeetham
• Raveendra Kumar Medicherla Tata Consultancy Services (India)
• Ravindra Metta Tata Consultancy Services (India)
• Ravindra Naik COEP Technological University
• Reema Patel Indian Institute of Information Technology (IIIT)
• Rekha Pai
• Renu George
• Ridha Fathima Mohideen Malik Université Côte d'Azur
• Ridhi Jain
• Rishabh Singh
• Rishi Agarwal
• Rohit Dureja Iowa State University
• Rohit Kapoor Indian Institute of Technology Hyderabad
• Ruan Carvalho
• Ruchin Gupta Jaypee Institute of Information Technology
• Rudrapatna Shyamasundar Indian Institute of Technology Bombay
• S Sudarshan Indian Institute of Technology Bombay
• S. VenkataKeerthy
• Sahil Verma University of Washington
• Saikat Dutta Jadavpur University
• Samik Basu
• Sandeep Kulkarni Michigan State University
• Sandeep Nagar International Institute of Information Technology
• Sandeep K. Shukla
• sandya mannarswamy
• SANGHARATNA GODBOLEY National Institute of Technology Warangal
• Sankha Basu Indraprastha Institute of Information Technology Delhi
• Santosh Pani
• Sarita Singh
• Dr. Sasmita Behera MIT World Peace University
• Sathya P Indian Institute of Technology Hyderabad
• Satish Narayanasamy University of Michigan
• SAUVIK GON Indian Association for the Cultivation of Science
• Sayan Mukherjee IITB Trust Lab
• SENTHIL KUMARAN Vellore Institute of Technology University
• Sesha Kalyur
• Shaofeng Li Xidian University
• shardha porwal
• Dr. Shashwat Pathak
• Shaunak Chatterjee
• Shibashis Guha Tata Institute of Fundamental Research
• Shimmi Asokan
• Shivani Tripathy
• Shivprasad Sonnis
• Shrawan Kumar
• DR. SHRIKANT PATEL Delhi Skill and Entrepreneurship University
• Shubham Tomar
• Shubhangi Agarwal
• Shveta Verma (Bansal) Thapar Institute of Engineering & Technology
• Siddharth Jain
• Siddhartha Chatterjee College of Engineering and Management
• Sisir Kumar Jena Synopsys (India)
• Dr Sonal Kanungo Sharma Thakur Institute of Management Studies
• Sorav Bansal Indian Institute of Technology Delhi
• Soumyadip Bandyopadhyay Birla Institute of Technology and Science
• Sourav Das Centre for Railway Information Systems
• Sparsa Roychowdhury Clausthal University of Technology
• srinivas pinisetty Indian Institute of Technology Bhubaneswar
• Sriram Rajamani
• Stephen Davis
• Subhajit Roy Indian Institute of Technology Kanpur
• Subhajit Roy Haldia Institute of Technology
• Sucheta Pradhan The University of Melbourne
• Sudakshina Dutta
• DR SUDIPTA MUKHERJEE Asian Institute of Technology
• SUJAL GOEL
• Sujit Kumar Chakrabarti International Institute of Information Technology
• Sujit Kumar Muduli
• Suman Roychoudhury Tata Consultancy Services (India)
• Sumit Gulwani
• Supratik Chakraborty Indian Institute of Technology Bombay
• Suresh Kumar N CAPE College of Engineering Alappuzha
• SURESH PARTHASARATHY IYENGAR
• Susmit Sarkar University of St Andrews
• Swaminathan Jayaraman Amrita Vishwa Vidyapeetham - Amritapuri Campus
• Swaraj Dash University of Oxford
• Swarnendu Biswas Indian Institute of Technology Kanpur
• Swati Jaiswal Visvesvaraya National Institute of Technology
• Dr. SWATI SHARMA Meerut Institute of Engineering and Technology
• T Dinesh
• Tapas Samanta Variable Energy Cyclotron Centre
• Tomsy Paul
• Tushar Sharma Dalhousie University
• Tyler Sorensen University California
• Uday Khedker Indian Institute of Technology Bombay
• Udaya Krishnan.M Saveetha Engineering College
• Usharani Bhimavarapu
• V. Krishna Nandivada
• Vaibhav Sharma Amazon (United States)
• vaishali bhosale
• 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 Andini RV University
• Venkat Subramaniam Tulane University
• Venkatesh Choppella International Institute of Information Technology
• Vijay Garg The University of Texas at Austin
• Vijay Kumar Sharma Chitkara University
• Vijay Kumar Sharma National Institute of Technology Rourkela
• vimal kumar Madan Mohan Malaviya University of Technology
• Vimala Soundarapandian
• Vinay Arora Thapar Institute of Engineering & Technology
• Vineeth Paleri National Institute of Technology
• Vini Kanvar
• Vinod Ganapathy Indian Institute of Science Bangalore
• Vishv Malhotra LNM Institute of Information Technology
• Dr. Vivek Kumar Bennett University
• Waqar Ahmad National University of Science and Technology
• Yasir Imtiaz Khan University of North Carolina Charlotte College of Computing and Informatics
• Yutaka Watanobe

Directory / Subjects / Computer Science / Artificial Intelligence / Logic, programming, and type systems