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

Using general profile