Concepedia

Adam Ścibior

AŚ

4

Publications

146

Citations

4

H-Index

2015

Active since

Affiliations

University of Cambridge(Current)

University of Edinburgh

University of Oxford

Microsoft Research (United Kingdom)

Uber AI (United States)

Adam Ścibior is an author at University of Cambridge specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningProbabilityData ScienceMachine LearningArtificial IntelligenceStatistical Relational LearningBayesian Inference

Publications per year

2015–2018

4

Publications

4

Denotational validation of higher-order Bayesian inference

Adam Ścibior, Ohad Kammar, Matthijs Vákár et al. · Proceedings of the ACM on Programming Languages · 2017 · 62 citations · Full text

Engineering, Machine Learning, Probabilistic Computation +17

Practical probabilistic programming with monads

Adam Ścibior, Zoubin Ghahramani, Andrew D. Gordon · 2015 · 50 citations · Full text

Artificial Intelligence, Measure Theory, Probabilistic Ontology +14

Functional programming for modular Bayesian inference

Adam Ścibior, Ohad Kammar, Zoubin Ghahramani · Proceedings of the ACM on Programming Languages · 2018 · 21 citations · Full text

Artificial Intelligence, Bayesian Statistic, Engineering +16

Practical probabilistic programming with monads

Adam Ścibior, Zoubin Ghahramani, Andrew D. Gordon · ACM SIGPLAN Notices · 2015 · 13 citations

Artificial Intelligence, Measure Theory, Probabilistic Ontology +14

Rows per page

1–4 of 4