Francesco Zappa Nardelli

(how to spell my name)

Software Engineer on Hack, PL&R, Meta

Associate Professor at École Polytechnique (part-time)

(Previously DR at Inria Paris)

Meta (Facebook)
6, rue Ménars
75002, Paris
France

CV: short
E-mail: fzn (at) free (dot) fr

Research

Publications

Teaching

Software

Trivia

Some projects:

The Hack programminng language.
Member of the POPL'23 PC.
Applying Formal Verification to Microkernel IPC at Meta, in CPP'22.
Fast and Reliable DWARF Stack Unwinding, in OOPSLA'19.
Julia Subtyping: a Rational Reconstruction, in OOPSLA'18.
Subtyping made simple: a talk at JuliaCon'18.
Invited speaker at the DeepSpec workshop, June 2018.
Invited speaker at the ENTROPY workshop, Jan. 2018.