Stefan Kiefer

Visiting Academic

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

verification, probabilistic models, infinite-state systems, quantitative analysis

Themes	Verification \| Foundations, Logic and Structures
Activities	Quantitative Analysis and Verification

Share this page: