PhD candidate at Saarland University, working on the verification of hyperproperties
Short description of portfolio item number 1
Short description of portfolio item number 2
