Registered user since Thu 28 Aug 2025
Name:Eleftherios Ioannidis
Country:United States
Affiliation:Microsoft Research
Personal website: https://elefthei.github.io
X (Twitter): https://x.com/elefthei
GitHub: https://github.com/elefthei
Research interests:Formal Verification, Security, AI
Contributions
PLDI 2026-profile
View general profile
View general profile