conf.researchr.org / Lef Ioannidis
Registered user since Tue 16 Jun 2020
Name:Lef Ioannidis
Bio:
I work in Microsoft Research’s RiSE group. I am broadly interested in formal proofs for large systems via AI techniques. My past work was in the denotational semantics of programming languages and program logics, as well as zero-knowledge proofs and cryptographic compilers.
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