Theory.Amsterdam
Theory.Amsterdam
People
Seminars
Teaching
Institutes
Jobs
History
Contact
Parnian Naderi
PhD Student
VU Theoretical Computer Science
Interests
mathematical logic
proof assistants
formal methods
hardware security
