Alfredo Cantarella

About Me

I am a Ph.D. student at Saarland University working with the Reactive Systems Group at CISPA Helmholtz Center for Information Security.
I am interested in hyperproperties, reactive synthesis and verification. More precisely, my current work mainly focuses on:

• Verification of Hyperproperties: How can we verify whether a system satisfies a hyperproperty?

• Synthesis from Hyperproperties: How can we automatically build a system that is guaranteed to satisfy a given hyperproperty?

If you are a student and looking to do a bachelor or master thesis in these topics, feel free to write me an email with a short introduction and what you are interested in.