SPLASH 2024 (series) / Lef Ioannidis
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