Stefan Kiefer

Research Assistant

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

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

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

Share this page: