Norine Coenen

PhD candidate at Saarland University, working on the verification of hyperproperties