Quantitative Analysis and Verification Group

people	Radu Calinescu \| Matthias Fruth \| Mark Kattenbelt \| Daniel Kroening \| Marta Kwiatkowska \| Gethin Norman \| David Parker \| Tianyi Zang
themes	Theory and Automated Verification
Head of Activity	Marta Kwiatkowska