Hernán Ponce de León

Hernán Ponce de León is a Principal Software Systems Research Engineer at Huawei Dresden Research Center (DRC) with an affiliation at Bundeswehr University Munich. His work focuses on the intersection of programming languages, security, and formal methods, particularly in developing automatic tools to verify low-level code correctness, security, and performance on emerging architectures.

His research interests span Software Verification, Programming Languages, and Memory Models, with particular emphasis on weak memory consistency verification. He has made significant contributions to the field through the development of the Dat3M verification framework, which supports multiple memory models including C11, LKMM, Power, ARM, and others.

Dr. Ponce de León has served on program committees for major conferences including PLDI, POPL, ECOOP, and OOPSLA, demonstrating his active engagement in the academic community. His work has been recognized with multiple SVCOMP medals and a Distinguished Paper award at OOPSLA 2022.

• Gold and Silver Medal @ SVCOMP 2025
• Gold Medal (x2) @ SVCOMP 2024
• Gold Medal @ SVCOMP 2023
• Distinguished Paper @ OOPSLA 2022

As maintainer of the Dat3M verification tool, he leads a team of developers working on advancing state-of-the-art techniques for memory model verification. His recent publications focus on static analysis of memory models, SMT encodings, and consistency theories, demonstrating his continued leadership in this specialized research area.