Simply Typed Existence
The girl with a thing for foundations of computer science :D
Hi, my name is Parnian (Anna) Naderi. I am a PhD student of Computer Science at Vrije Universiteit Amsterdam, supervised by Prof. Klaus von Gleissenthall, affiliated with the VU Theory Group and VUSec, where I mostly focus on the foundation of computer science, particularly mathematics of concurrency and logical verification. Besides, I am also a research assistant to Prof. Dr. Lutz Schroeder, working on the uniform interpolation property of coalgebraic modal logics.
Research Interests
- Mathematical logic
- Proof assistants (in particular, Rocq/Coq)
- Formal methods and verification
- Concurrency Theory
Projects
Bio
Before coming to the VuA, I was an MSc student of computer science at the Univerity of Tehran, advised by Dr. Majid Alizadeh for working on the implementation of the uniform interpolation property of substructural logics in Rocq proof assistant. I received my bachelor of science degree in the same major from Sharif University of Technology.
Besides academia, I am very much into fashion, beauty, chess, reading and drawing. I am also a classically trained musician, playing the violin.