POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Lef Ioannidis

Registered user since Tue 16 Jun 2020

Name:Lef Ioannidis

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
Research interests:Verification


Show activities from other conferences

POPL 2024-profile
View general profile