Claudia Raffaelli

Dott. mag. Univ.Ass.

My focus is on formal methods leveraging program verification and type theory to prove security properties of systems such as cryptographic protocols.

Roles

• PreDoc Researcher

Contact

• claudia.raffaelli@tuwien.ac.at
• Favoritenstrasse 9, Room HA0110

Courses

2026W
• Introduction to Blockchain Technologies / VU / 192.220
• Advanced Topics in Blockchain Technologies / VU / 192.221