Dr Fredrik Dahlqvist
Lecturer in Computer Science
School of Electronic Engineering and Computer Science
Queen Mary University of London
Research
Theoretical computer science, probabilistic programming, probability theory, category theory, logic
Publications
Publications of specific relevance to the Centre for Fundamental Computer Science
2024
Automated Roundoff Error Analysis of Probabilistic Floating-Point ComputationsConstantinides G,
Dahlqvist F, Rakamarić Z and Salvia R
Acm Transactions on Probabilistic Machine Learning,
Association For Computing Machinery (Acm) 28-11-2024 
What Makes a Good Prune? Maximal Unstructured Pruning for Maximal Cosine SimilarityMason-Williams G and
Dahlqvist F The Twelfth International Conference on Learning Representations.
13-05-20242023
The syntactic side of autonomous categories enriched over generalised metric spacesDahlqvist F and Neves R
Logical Methods in Computer Science,
Centre Pour La Communication Scientifique Directe (Ccsd) vol. Volume 19, Issue 4
18-12-2023 A Complete V-Equational System for Graded lambda-CalculusDahlqvist F and Neves R
Electronic Notes in Theoretical Informatics and Computer Science,
Centre Pour La Communication Scientifique Directe (Ccsd) vol. Volume 3 - Proceedin
23-11-2023 Deterministic stream-sampling for probabilistic programming: semantics and verificationDahlqvist F, Silva A and Smith W
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). vol. 00, 1-13.
29-06-2023
