Профили

Adam Paszke

Google

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

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

Programming languages High performance computing Graph Theory Machine Learning

Manjunath Kudlur

CTO, Co-founder, Useful Sensors

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

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

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

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

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

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

Trustworthy Machine Learning Security Formal methods Programming Languages

John McCarthy

MIT, Stanford

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

Artificial Intelligence Programming Languages

John Hennessy

Stanford University

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

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

computer architecture programming languages

Nada Amin

Harvard University

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

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

Programming Languages Artificial Intelligence

Jeannette M Wing

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

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

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

trustworthy AI security and privacy formal methods programming languages

George van den Driessche

DeepMind

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

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

Programming Languages Systems

David McAllester

Professor, Toyota Technological Institute at Chicago

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

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

Artificial Intelligence Machine Learning Computer Vision Programming Languages Formal Methods

1 - 10