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 Fundamentals of AI and Computational Theory
2024
Automated Roundoff Error Analysis of Probabilistic Floating-Point ComputationsConstantinides G Dahlqvist F Rakamarić Z
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 Dahlqvist F
The Twelfth International Conference on Learning Representations.
13-05-20242023
The syntactic side of autonomous categories enriched over generalised metric spacesDahlqvist F
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
Electronic Notes in Theoretical Informatics and Computer Science,
Centre Pour La Communication Scientifique Directe (Ccsd) vol. Volume 3 - Proceedings of MFPS XXXIX
23-11-2023 Deterministic stream-sampling for probabilistic programming: semantics and verificationDahlqvist F Silva A Smith W
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). vol. 00, 1-13.
29-06-2023
Grants
Grants of specific relevance to the Centre for Fundamentals of AI and Computational Theory
Probabilistic Precision TuningFredrik Dahlqvist£49,636
Research Institute in Verified Trustworthy Software Systems01-10-2025 - 31-03-2026
Learning from Each Other: Neural Networks and Finite AutomataFredrik Dahlqvist£15,000
Academy of Medical Sciences14-03-2025 - 13-03-2026
Research Group
PhD Students
- Gregor Meehan
Representation Learning For Musical Audio Using Graph Neural Network-Based Recommender Engines. - Niki Omidvari
Theory
