SPLASH 2024 (series) / Lef Ioannidis
![Lef Ioannidis](https://2024.splashcon.org/getProfileImage/lefioannidis1/5f92df32-4419-4c72-860e-cc47b9985423/small.jpg?1711680544000)
Registered user since Tue 16 Jun 2020
Name:Lef Ioannidis
Bio:
PhD student in the University of Pennsylvania. I am broadly interested in formal proofs for distributed systems. More specifically in the denotational semantics of programming languages and modal logics for distributed systems, as well as zero-knowledge proofs and cryptographic compilers. I am coadvised by Sebastian Angel and Steve Zdancewic.
Country:United States
Affiliation:University of Pennsylvania
Personal website: https://elefthei.github.io
X (Twitter): https://x.com/elefthei
GitHub: https://github.com/elefthei
Research interests:Verification
Contributions
Using general profile