Daniel Luckhardt
School of Computer Science
Research Associate in Quantitative Verification
D.Luckhardt@sheffield.ac.uk
+44 114 225 7539
+44 114 225 7539
Regent Court (DCS)
Full contact details
Daniel Luckhardt
School of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP
School of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP
- Publications
-
Journal articles
- A volume comparison theorem for characteristic numbers. Annals of Global Analysis and Geometry, 60(3), 687-708.
Chapters
- 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
- Research group
-
Foundations of Computation research group