PhD Student

Parnian (Anna) Naderi

Personal website

PhD student since 2026, working at the intersection of programming languages, security, and formal verification.

programming languagessecurityverification