معرفی
Carmine Abate is a researcher affiliated with Inria Paris, a prominent French research institute focused on computer science and applied mathematics. He is actively involved in academic service, serving as a Committee Member in the Program Committee for the Principles of Secure Compilation (PriSC) track at POPL 2024.
His research interests center on secure compilation, compiler correctness, and software security, with a focus on formal methods and programming languages. His primary publication, Trace-Relating Compiler Correctness and Secure Compilation (2020), explores connections between compiler correctness and security guarantees.
As a member of the academic community, he contributes to conference organization and program committees, particularly in the domain of secure compilation.
