Daniel Luckhardt

School of Computer Science

Research Associate in Quantitative Verification

D.Luckhardt@sheffield.ac.uk
+44 114 225 7539

Regent Court (DCS)

Full contact details

Daniel Luckhardt
School of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP

Publications

Luckhardt D (2021) A volume comparison theorem for characteristic numbers. Annals of Global Analysis and Geometry, 60(3), 687-708.

Insall M & Luckhardt D (2021) NORMS ON CATEGORIES AND ANALOGS OF THE SCHRÖDER-BERNSTEIN THEOREM, Proceedings of the conference Contemporary Mathematics in Kielce 2020, February 24-27 2021 (pp. 157-178). Sciendo

Luckhardt D, Beohar H & Küpper S (2024) On Kleisli liftings and decorated trace semantics, arXiv.