Adam Paszke

Adam Paszke

Google
Dirección de correo verificada de students.mimuw.edu.pl
Citado por 71731
Programming languages High performance computing Graph Theory Machine Learning
Manjunath Kudlur

Manjunath Kudlur

CTO, Co-founder, Useful Sensors
Dirección de correo verificada de umich.edu
Citado por 63172
Parallel Programming Neural Networks Machine Learning Compilers Programming Languages
Rajeev Alur

Rajeev Alur

Zisman Family Professor of Computer and Information Science, University of Pennsylvania
Dirección de correo verificada de seas.upenn.edu
Citado por 53418
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
Dirección de correo verificada de cs.wisc.edu
Citado por 51181
Trustworthy Machine Learning Security Formal methods Programming Languages
John Hennessy

John Hennessy

Stanford University
Dirección de correo verificada de stanford.edu
Citado por 51115
computer architecture programming languages
John McCarthy

John McCarthy

MIT, Stanford
Citado por 50781
Artificial Intelligence Programming Languages
Andrew Fitzgibbon

Andrew Fitzgibbon

Graphcore
Dirección de correo verificada de fitzgibbon.ie
Citado por 49611
Machine Learning Computer Vision Programming Languages
Nada Amin

Nada Amin

Harvard University
Dirección de correo verificada de alum.mit.edu
Citado por 44623
Programming Languages Artificial Intelligence
Jeannette M Wing

Jeannette M Wing

Executive Vice President for Research, Professor of Computer Science, Columbia University
Dirección de correo verificada de columbia.edu
Citado por 43255
trustworthy AI security and privacy formal methods programming languages
David McAllester

David McAllester

Professor, Toyota Technological Institute at Chicago
Dirección de correo verificada de ttic.edu
Citado por 42118
Artificial Intelligence Machine Learning Computer Vision Programming Languages Formal Methods
1 - 10