Dr Fredrik Dahlqvist serves as a Lecturer in Computer Science at Queen Mary University of London's School of Electronic Engineering and Computer Science, where he contributes to the Centre for Fundamental Computing and AI. His academic profile reflects a strong commitment to theoretical foundations in computing with direct applications to artificial intelligence research. His research spans theoretical computer science with focused expertise in probabilistic programming, probability theory, category theory, and mathematical logic. Dahlqvist investigates the mathematical frameworks governing probabilistic computation, developing rigorous methodologies for uncertainty quantification in computational systems. His work establishes formal connections between abstract category theory and practical probabilistic programming implementations, creating bridges between pure mathematics and applied AI. Recent publications (2023-2024) demonstrate cohesive thematic development across probabilistic programming semantics, neural network optimization, and formal verification. Key trends include error analysis in probabilistic floating-point systems, neural network pruning techniques based on geometric similarity, and categorical foundations for graded computation. His research consistently merges theoretical depth with practical AI challenges, particularly in verification of probabilistic models and optimization of learning architectures. Dr Dahlqvist has not received any documented scientific awards or fellowships according to available sources. He actively supervises two PhD students: Gregor Meehan researching "Representation Learning For Musical Audio Using Graph Neural Network-Based Recommender Engines" and Niki Omidvari conducting theoretical work in computer science foundations. Dahlqvist currently holds a £15,000 grant from the Academy of Medical Sciences for "Learning from Each Other: Neural Networks and Finite Automata" (March 2025-March 2026), investigating formal connections between neural architectures and automata theory. As an integral member of Queen Mary's Centre for Fundamental Computing and AI, Dahlqvist collaborates within a multidisciplinary research environment focused on advancing theoretical underpinnings of artificial intelligence. His work contributes to the Centre's mission of developing mathematically rigorous frameworks for next-generation AI systems through category-theoretic approaches and probabilistic reasoning.












