Alp Adnan Basar

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