معرفی
Roberto Blanco is a researcher at Inria specializing in programming languages, compilers, formal verification, and security, with contributions to premier conferences including POPL and ML.
His research interests include:
- Programming Languages
- Compilers
- Formal Verification
- Security
Recent work demonstrates a cohesive focus on applying formal methods to critical systems: compiler correctness verification ensures reliable code translation, while secure compilation research addresses vulnerability prevention in low-level code. His 2020 POPL publication establishes trace-based security guarantees for compilers, and his 2018 ML work pioneers verified functional proof checkers for theorem-proving systems.
No scientific awards are documented in the provided materials.
Details regarding student advising, grant funding, or laboratory affiliations are unavailable in the source texts.
حوزههای پژوهشی
