Profile

Joost-Pieter Katoen

Distinguished Professor of Computer Science, RWTH Aachen University and University of …

Bestätigte E-Mail-Adresse bei cs.rwth-aachen.de

Zitiert von: 29965

formal methods model checking concurrency theory probabilistic programming program verification

Luc De Raedt

professor, KU Leuven & guestprofessor, Örebro University

Bestätigte E-Mail-Adresse bei cs.kuleuven.be

Zitiert von: 25995

artificial intelligence machine learning statistical relational AI probabilistic programming neurosymbolic ai

Andrew D Gordon

Cogna and University of Edinburgh

Bestätigte E-Mail-Adresse bei cogna.co

Zitiert von: 17416

Programming Languages Security Probabilistic Programming Spreadsheets

Bob Carpenter

Flatiron Institute, Center for Computational Mathematics

Bestätigte E-Mail-Adresse bei flatironinstitute.org

Zitiert von: 17157

computational statistics probabilistic programming automatic differentiation natural language processing

Jonah Gabry

Columbia University

Bestätigte E-Mail-Adresse bei columbia.edu

Zitiert von: 12071

Bayesian statistics probabilistic programming statistical software development

Hongseok Yang

Professor, School of Computing, KAIST

Bestätigte E-Mail-Adresse bei kaist.ac.kr

Zitiert von: 10044

Probabilistic Programming Programming Languages Machine Learning Software Verification Distributed System

Alp Kucukelbir

Adjunct Professor of Computer Science, Columbia University

Bestätigte E-Mail-Adresse bei cs.columbia.edu

Zitiert von: 9643

machine learning statistics probabilistic programming

Andrzej Wąsowski

Professor, IT University of Copenhagen, Denmark

Bestätigte E-Mail-Adresse bei itu.dk

Zitiert von: 9397

Software Engineering SE4AI SE4Robotics Probabilistic Programming Domain-Specific Languages

Frank Wood

University of British Columbia

Bestätigte E-Mail-Adresse bei cs.ubc.ca

Zitiert von: 7376

Machine Learning Artificial Intelligence Probabilistic Programming

Guy Van den Broeck

Professor and Samueli Fellow, UCLA

Bestätigte E-Mail-Adresse bei cs.ucla.edu

Zitiert von: 6501

Artificial Intelligence Probabilistic Programming Probabilistic Circuits Neurosymbolic AI

1 - 10