Fredrik Dahlqvist

Fredrik Dahlqvist

University College London

H-index: 9

Europe-United Kingdom

Contact Fredrik Dahlqvist

About Fredrik Dahlqvist

Fredrik Dahlqvist, With an exceptional h-index of 9 and a recent h-index of 8 (since 2020), a distinguished researcher at University College London, specializes in the field of Theoretical computer science, probabilistic programming, probability theory, category theory, logic.

His recent articles reflect a diverse array of research interests and contributions to the field:

The syntactic side of autonomous categories enriched over generalised metric spaces

A Complete V-Equational System for Graded lambda-Calculus

Deterministic stream-sampling for probabilistic programming: semantics and verification

An internal language for categories enriched over generalised metric spaces

How to write a coequation

Rigorous roundoff error analysis of probabilistic floating-point computations

Semantics of probabilistic programming: A gentle introduction

Fredrik Dahlqvist Information

University	University College London
Position	___
Citations(all)	222
Citations(since 2020)	180
Cited By	109
hIndex(all)	9
hIndex(since 2020)	8
i10Index(all)	8
i10Index(since 2020)	7
Email	Access Email
University Profile Page	University College London
Google Scholar	View Google Scholar Profile

Fredrik Dahlqvist Skills & Research Interests

Theoretical computer science

probabilistic programming

probability theory

category theory

logic

Top articles of Fredrik Dahlqvist

The syntactic side of autonomous categories enriched over generalised metric spaces

arXiv preprint arXiv:2208.14356

2022/8

Fredrik Dahlqvist

H-Index: 6

Renato Neves

H-Index: 8

A Complete V-Equational System for Graded lambda-Calculus

arXiv preprint arXiv:2304.02082

2023/4/4

Fredrik Dahlqvist

H-Index: 6

Renato Neves

H-Index: 8

Deterministic stream-sampling for probabilistic programming: semantics and verification

2023/6/26

Fredrik Dahlqvist

H-Index: 6

Alexandra Silva

H-Index: 19

William Smith

H-Index: 6

An internal language for categories enriched over generalised metric spaces

arXiv preprint arXiv:2105.08473

2021/5/18

Fredrik Dahlqvist

H-Index: 6

Renato Neves

H-Index: 8

How to write a coequation

2021/9/24

Fredrik Dahlqvist

H-Index: 6

Rigorous roundoff error analysis of probabilistic floating-point computations

2021/7/15

George Constantinides

H-Index: 23

Fredrik Dahlqvist

H-Index: 6

Semantics of probabilistic programming: A gentle introduction

Foundations of Probabilistic Programming

2020/12/3

Fredrik Dahlqvist

H-Index: 6

Alexandra Silva

H-Index: 19

Dexter Kozen

H-Index: 26

See List of Professors in Fredrik Dahlqvist University(University College London)

Co-Authors

H-index: 59

Dexter Kozen — Dexter Kozen
Cornell University

Visit Dexter Kozen Page

H-index: 44

Vincent Danos — Vincent Danos
École Normale Supérieure

Visit Vincent Danos Page

H-index: 44

George Constantinides — George Constantinides
Imperial College London

Visit George Constantinides Page

H-index: 27

Alexandra Silva — Alexandra Silva
University College London

Visit Alexandra Silva Page

H-index: 25

Dirk Pattinson — Dirk Pattinson
Australian National University

Visit Dirk Pattinson Page

H-index: 11

Renato Neves — Renato Neves
Universidade do Minho

Visit Renato Neves Page

1
2

academic-engine

Useful Links

List of top 50 universities

List of top 100 universities

List of top 500 universities

Find Professors Email

Find Universities Email

CUFinder Academic Engine