معرفی
Francesco Zappa Nardelli is a part-time Associate Professor at École Polytechnique and a Research Scientist at Meta. He is currently on leave from Inria Paris, focusing on formal verification and programming language design.
- Member of the POPL'23 Program Committee
- Presented key research on formal verification of microkernel IPC and Julia subtyping algorithms
Research Focus: His work bridges formal methods, programming language theory, and systems software. Recent efforts include compiler optimization, type system innovation, and safety-critical systems verification.
Scientific Recognition: Recognized as an invited speaker at DeepSpec and ENTROPY workshops, with publications in top venues like CPP, OOPSLA, and ECOOP.
۰مقاله منتشرشده
