Parnian Naderi Interests: mathematical logic, proof assistants, formal methods, hardware security ← back to all researchers