Adam Paszke

Adam Paszke

Google
在 students.mimuw.edu.pl 的電子郵件地址已通過驗證
被引用 72032 次
Programming languages High performance computing Graph Theory Machine Learning
Manjunath Kudlur

Manjunath Kudlur

CTO, Co-founder, Useful Sensors
在 umich.edu 的電子郵件地址已通過驗證
被引用 63302 次
Parallel Programming Neural Networks Machine Learning Compilers Programming Languages
Rajeev Alur

Rajeev Alur

Zisman Family Professor of Computer and Information Science, University of Pennsylvania
在 seas.upenn.edu 的電子郵件地址已通過驗證
被引用 53435 次
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
在 cs.wisc.edu 的電子郵件地址已通過驗證
被引用 51235 次
Trustworthy Machine Learning Security Formal methods Programming Languages
John Hennessy

John Hennessy

Stanford University
在 stanford.edu 的電子郵件地址已通過驗證
被引用 51130 次
computer architecture programming languages
John McCarthy

John McCarthy

MIT, Stanford
被引用 50826 次
Artificial Intelligence Programming Languages
Andrew Fitzgibbon

Andrew Fitzgibbon

Graphcore
在 fitzgibbon.ie 的電子郵件地址已通過驗證
被引用 49657 次
Machine Learning Computer Vision Programming Languages
Nada Amin

Nada Amin

Harvard University
在 alum.mit.edu 的電子郵件地址已通過驗證
被引用 44692 次
Programming Languages Artificial Intelligence
Jeannette M Wing

Jeannette M Wing

Executive Vice President for Research, Professor of Computer Science, Columbia University
在 columbia.edu 的電子郵件地址已通過驗證
被引用 43275 次
trustworthy AI security and privacy formal methods programming languages
David McAllester

David McAllester

Professor, Toyota Technological Institute at Chicago
在 ttic.edu 的電子郵件地址已通過驗證
被引用 42150 次
Artificial Intelligence Machine Learning Computer Vision Programming Languages Formal Methods
1 - 10