Adam Paszke

Adam Paszke

Google
Verified email at students.mimuw.edu.pl
Cited by 81427
Programming languages High performance computing Graph Theory Machine Learning
Manjunath Kudlur

Manjunath Kudlur

CTO, Co-founder, Useful Sensors
Verified email at umich.edu
Cited by 66413
Parallel Programming Neural Networks Machine Learning Compilers Programming Languages
Rajeev Alur

Rajeev Alur

Zisman Family Professor of Computer and Information Science, University of Pennsylvania
Verified email at seas.upenn.edu
Cited by 54825
Formal methods Trustworthy AI Cyber-physical systems Programming languages Logic in Computer Science
Somesh Jha

Somesh Jha

Lubar Chair of Computer Science, University of Wisconsin
Verified email at cs.wisc.edu
Cited by 53611
Trustworthy Machine Learning Security Formal methods Programming Languages
John McCarthy

John McCarthy

MIT, Stanford
Cited by 52799
Artificial Intelligence Programming Languages
John Hennessy

John Hennessy

Stanford University
Verified email at stanford.edu
Cited by 51861
computer architecture programming languages
Nada Amin

Nada Amin

Harvard University
Verified email at alum.mit.edu
Cited by 47261
Programming Languages Artificial Intelligence
Jeannette M Wing

Jeannette M Wing

Executive Vice President for Research, Professor of Computer Science, Columbia University
Verified email at columbia.edu
Cited by 44863
trustworthy AI security and privacy formal methods programming languages
George van den Driessche

George van den Driessche

DeepMind
Verified email at deepmind.com
Cited by 44536
Programming Languages Systems
David McAllester

David McAllester

Professor, Toyota Technological Institute at Chicago
Verified email at ttic.edu
Cited by 43422
Artificial Intelligence Machine Learning Computer Vision Programming Languages Formal Methods
1 - 10