Scholar
Fredrik Dahlqvist
Google Scholar ID: qPdD6IkAAAAJ
Queen Mary University of London
Theoretical computer science
probabilistic programming
probability theory
category theory
logic
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
350
H-index
11
i10-index
12
Publications
20
Co-authors
10
list available
Publications
1 items
Exact Evaluation of Probabilistic Programs with Cylindrical Algebraic Decomposition
2026
Cited
0
Co-authors
7 total
Vincent Danos
Directeur de Recherches CNRS Ecole Normale Supérieure
Alexandra Silva
Cornell University
Renato Neves
University of Minho & INESC TEC
Dexter Kozen
Professor of Computer Science, Cornell University
George Constantinides
Imperial College London
florence clerc
Heriot Watt University
Ohad Kammar
University of Edinburgh School of Informatics
