Deductive Verification Professors in Global

Showing 21 of 9,792 results Data last updated:

Search By
Location
Location
Searching Globally
Professor
Rajesh Ranganath Professor Profile

Rajesh Ranganath

New York University United States of America
probabilistic inference
statistical inference
deep generative modeling
machine learning
causal inference
View Professor Profile
Professor

George Azzopardi

University of Groningen Netherlands
predictive analysis
machine learning
deep learning
pattern recognition
data mining
View Professor Profile
Professor
Paula Branco Professor Profile

Paula Branco

University of Ottawa Canada
machine learning
fraud detection
predictive analytics
anomaly detection
data mining
View Professor Profile
Professor
David Parker Professor Profile

David Parker

University of Oxford United Kingdom
probabilistic verification
automated verification
verification
probabilistic model checking
View Professor Profile
Professor
Abhishek Chakrabortty Professor Profile

Abhishek Chakrabortty

Texas A&M University United States of America
bayesian inference
statistical inference
machine learning
causal inference
View Professor Profile
Professor

Mogana Ganggayah

Monash University Australia
predictive modeling
machine learning
deep learning
data mining
View Professor Profile
Professor

Jaime Ide

Yale University United States of America
predictive modeling
machine learning
pattern recognition
theoretical modeling
View Professor Profile
Professor
Federico De Martino Professor Profile

Federico De Martino

Maastricht University Netherlands
decoding
predictive coding
machine learning
pattern recognition
View Professor Profile
Professor
Sankaran Iyer Professor Profile

Sankaran Iyer

University of New South Wales Australia
object detection
deep learning
anomaly detection
pedestrian detection
View Professor Profile
Professor
Robert Gracie Professor Profile

Robert Gracie

University of Waterloo Canada
machine learning
verification
deep learning
validation
View Professor Profile
Professor
Hina Shaheen Professor Profile

Hina Shaheen

University of Manitoba Canada
bayesian inference
machine learning
statistical machine learning
computational modelling
View Professor Profile
Professor
Leman Akoglu Professor Profile

Leman Akoglu

Carnegie Mellon University United States of America
machine learning
fraud detection
anomaly detection
data mining
View Professor Profile
Professor
Mingyuan Zhou Professor Profile

Mingyuan Zhou

University of Texas at Austin United States of America
approximate inference
probabilistic machine learning
deep neural networks
bayesian analysis
View Professor Profile
Professor
Gerasimos Spanakis Professor Profile

Gerasimos Spanakis

Maastricht University Netherlands
machine learning
deep learning
data mining
computational modeling
View Professor Profile
Professor
Molei Tao Professor Profile

Molei Tao

Georgia Institute of Technology United States of America
machine learning
probabilistic machine learning
deep learning theory
generative modeling
View Professor Profile
Professor
Fotios Kokkotos Professor Profile

Fotios Kokkotos

Boston University United States of America
machine learning
deep learning
predictive analytics
data mining
View Professor Profile
Professor
Mikhail Glazunov Professor Profile

Mikhail Glazunov

Delft University of Technology Netherlands
probabilistic modeling
deep learning
bayesian deep learning
generative modeling
View Professor Profile
Professor
Tom Rainforth Professor Profile

Tom Rainforth

University of Oxford United Kingdom
approximate inference
deep learning
statistical machine learning
probabilistic programming
View Professor Profile
Professor

John Quilty

University of Waterloo Canada
machine learning
deep learning
data mining
data-driven modelling
View Professor Profile
Professor
Wendelin Böhmer Professor Profile

Wendelin Böhmer

Delft University of Technology Netherlands
deductive reasoning
machine learning
inductive reasoning
View Professor Profile
Professor
Yalan Song Professor Profile

Yalan Song

Pennsylvania State University United States of America
predictive modeling
differentiable modeling
machine learning
View Professor Profile
First
Prev
Page 1 | 9792 Results
Next