Профили

Adam Paszke

Google

Подтвержден адрес электронной почты в домене students.mimuw.edu.pl

Цитируется: 72193

Programming languages High performance computing Graph Theory Machine Learning

Manjunath Kudlur

CTO, Co-founder, Useful Sensors

Подтвержден адрес электронной почты в домене umich.edu

Цитируется: 63315

Parallel Programming Neural Networks Machine Learning Compilers Programming Languages

Rajeev Alur

Zisman Family Professor of Computer and Information Science, University of Pennsylvania

Подтвержден адрес электронной почты в домене seas.upenn.edu

Цитируется: 53456

Formal methods Trustworthy AI Cyber-physical systems Programming languages Logic in Computer Science

Somesh Jha

Lubar Chair of Computer Science, University of Wisconsin

Подтвержден адрес электронной почты в домене cs.wisc.edu

Цитируется: 51278

Trustworthy Machine Learning Security Formal methods Programming Languages

John Hennessy

Stanford University

Подтвержден адрес электронной почты в домене stanford.edu

Цитируется: 51150

computer architecture programming languages

John McCarthy

MIT, Stanford

Цитируется: 50865

Artificial Intelligence Programming Languages

Andrew Fitzgibbon

Graphcore

Подтвержден адрес электронной почты в домене fitzgibbon.ie

Цитируется: 49671

Machine Learning Computer Vision Programming Languages

Nada Amin

Harvard University

Подтвержден адрес электронной почты в домене alum.mit.edu

Цитируется: 44740

Programming Languages Artificial Intelligence

Jeannette M Wing

Executive Vice President for Research, Professor of Computer Science, Columbia University

Подтвержден адрес электронной почты в домене columbia.edu

Цитируется: 43334

trustworthy AI security and privacy formal methods programming languages

David McAllester

Professor, Toyota Technological Institute at Chicago

Подтвержден адрес электронной почты в домене ttic.edu

Цитируется: 42175

Artificial Intelligence Machine Learning Computer Vision Programming Languages Formal Methods

1 - 10