Daniel Luckhardt

School of Computer Science

Research Associate in Quantitative Verification

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

Full contact details

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

Journal articles

Chapters

Research group

Foundations of Computation research group