Dr Fredrik Dahlqvist

Fredrik Dahlqvist

Lecturer in Computer Science

School of Electronic Engineering and Computer Science
Queen Mary University of London
www.qmul.ac.uk/eecs/people/profiles/dahlqvistfredrik.html
Centre for Fundamental Computer Science

Research

Theoretical computer science, probabilistic programming, probability theory, category theory, logic

Publications

solid heart iconPublications of specific relevance to the Centre for Fundamental Computer Science

2024

Relevant PublicationConstantinides G, Dahlqvist F, Rakamarić Z and Salvia R (2024). Automated Roundoff Error Analysis of Probabilistic Floating-Point Computations. ACM Transactions on Probabilistic Machine Learning, Association for Computing Machinery (ACM) 
28-11-2024
bullet iconMason-Williams G and Dahlqvist F (2024). What Makes a Good Prune? Maximal Unstructured Pruning for Maximal Cosine Similarity. The Twelfth International Conference on Learning Representations. 
13-05-2024

2023

bullet iconDahlqvist F and Neves R (2023). The syntactic side of autonomous categories enriched over generalised metric spaces. Logical Methods in Computer Science, Centre pour la Communication Scientifique Directe (CCSD) vol. Volume 19, Issue 4 
18-12-2023
bullet iconDahlqvist F and Neves R (2023). A Complete V-Equational System for Graded lambda-Calculus. Electronic Notes in Theoretical Informatics and Computer Science, Centre pour la Communication Scientifique Directe (CCSD) vol. Volume 3 - Proceedin 
23-11-2023
bullet iconDahlqvist F, Silva A and Smith W (2023). Deterministic stream-sampling for probabilistic programming: semantics and verification. 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). 
29-06-2023